Search dblp for Publications

export results for "stream:conf/taicpart:"

 download as .bib file

@inproceedings{DBLP:conf/taicpart/BessayahCMMV10,
  author       = {Fay{\c{c}}al Bessayah and
                  Ana R. Cavalli and
                  Willian Maja and
                  Eliane Martins and
                  Andre Willik Valenti},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {A Fault Injection Tool for Testing Web Services Composition},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {137--146},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_13},
  doi          = {10.1007/978-3-642-15585-7\_13},
  timestamp    = {Mon, 23 Nov 2020 12:33:09 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/BessayahCMMV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Bousquet10,
  author       = {Lydie du Bousquet},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {A New Approach for Software Testability},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {207--210},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_23},
  doi          = {10.1007/978-3-642-15585-7\_23},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/Bousquet10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/BratanisDS10,
  author       = {Konstantinos Bratanis and
                  Dimitris Dranidis and
                  Anthony J. H. Simons},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Towards Run-Time Monitoring of Web Services Conformance to Business-Level
                  Agreements},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {203--206},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_22},
  doi          = {10.1007/978-3-642-15585-7\_22},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/BratanisDS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/EichingerPGB10,
  author       = {Frank Eichinger and
                  Victor Pankratius and
                  Philipp W. L. Gro{\ss}e and
                  Klemens B{\"{o}}hm},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Localizing Defects in Multithreaded Programs by Mining Dynamic Call
                  Graphs},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {56--71},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_7},
  doi          = {10.1007/978-3-642-15585-7\_7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/EichingerPGB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/GarousiK10,
  author       = {Vahid Garousi and
                  Negar Koochakzadeh},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {An Empirical Evaluation to Study Benefits of Visual versus Textual
                  Test Coverage Information},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {189--193},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_19},
  doi          = {10.1007/978-3-642-15585-7\_19},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/GarousiK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Grieskamp10,
  author       = {Wolfgang Grieskamp},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Microsoft's Protocol Documentation Program: {A} Success Story for
                  Model-Based Testing},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {7},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_3},
  doi          = {10.1007/978-3-642-15585-7\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/Grieskamp10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/GuoDEF10,
  author       = {Qiang Guo and
                  John Derrick and
                  Clara Benac Earle and
                  Lars{-}{\AA}ke Fredlund},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Model-Checking Erlang - {A} Comparison between EtomCRL2 and McErlang},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {23--38},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_5},
  doi          = {10.1007/978-3-642-15585-7\_5},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/GuoDEF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/HaschemiW10,
  author       = {Siamak Haschemi and
                  Stephan Wei{\ss}leder},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {A Generic Approach to Run Mutation Analysis},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {155--164},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_15},
  doi          = {10.1007/978-3-642-15585-7\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/HaschemiW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/HeideggerBT10,
  author       = {Phillip Heidegger and
                  Annette Bieniusa and
                  Peter Thiemann},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {{DOM} Transactions for Testing JavaScript},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {211--214},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_24},
  doi          = {10.1007/978-3-642-15585-7\_24},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/HeideggerBT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Hoare10,
  author       = {Tony Hoare},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Testing and Proving, Hand-in-Hand},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {5--6},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_2},
  doi          = {10.1007/978-3-642-15585-7\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/Hoare10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/HoffmanCBSY10,
  author       = {Daniel Hoffman and
                  Chien Chang and
                  Gary Bazdell and
                  Brett Stevens and
                  Kevin Yoo},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Bad Pairs in Software Testing},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {39--55},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_6},
  doi          = {10.1007/978-3-642-15585-7\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/HoffmanCBSY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Jaaskelainen10,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Filtering Test Models to Support Incremental Testing},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {72--87},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_8},
  doi          = {10.1007/978-3-642-15585-7\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/Jaaskelainen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/KaarameesVR10,
  author       = {Marko K{\"{a}}{\"{a}}ramees and
                  J{\"{u}}ri Vain and
                  Kullo Raiend},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Synthesis of On-Line Planning Tester for Non-deterministic {EFSM}
                  Models},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {147--154},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_14},
  doi          = {10.1007/978-3-642-15585-7\_14},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/KaarameesVR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/KamD10,
  author       = {Ben W. Y. Kam and
                  Thomas R. Dean},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Linguistic Security Testing for Text Communication Protocols},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {104--117},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_10},
  doi          = {10.1007/978-3-642-15585-7\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/KamD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/KoochakzadehG10,
  author       = {Negar Koochakzadeh and
                  Vahid Garousi},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {TeCReVis: {A} Tool for Test Coverage and Test Redundancy Visualization},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {129--136},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_12},
  doi          = {10.1007/978-3-642-15585-7\_12},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/KoochakzadehG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/LiT10,
  author       = {Huiqing Li and
                  Simon J. Thompson},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Improved Testing through Refactoring: Experience from the ProTest
                  Project},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {198--202},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_21},
  doi          = {10.1007/978-3-642-15585-7\_21},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/LiT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Meyer10,
  author       = {Bertrand Meyer},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Automatic Testing and Fixing for Eiffel - (Extended Abstract)},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_1},
  doi          = {10.1007/978-3-642-15585-7\_1},
  timestamp    = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Meyer10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/MilevaDZ10,
  author       = {Yana Momchilova Mileva and
                  Valentin Dallmeier and
                  Andreas Zeller},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Mining {API} Popularity},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {173--180},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_17},
  doi          = {10.1007/978-3-642-15585-7\_17},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/MilevaDZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/NicaNW10,
  author       = {Mihai Nica and
                  Simona Nica and
                  Franz Wotawa},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Does Testing Help to Reduce the Number of Potentially Faulty Statements
                  in Debugging?},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {88--103},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_9},
  doi          = {10.1007/978-3-642-15585-7\_9},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/NicaNW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/RiboiraA10,
  author       = {Andr{\'{e}} Riboira and
                  Rui Abreu},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {The GZoltar Project: {A} Graphical Debugger Interface},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {215--218},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_25},
  doi          = {10.1007/978-3-642-15585-7\_25},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/RiboiraA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/ShahbazE10,
  author       = {Muzammil Shahbaz and
                  Robert Eschbach},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Automatic Discovery of Unspecified Behaviors in Automotive Control
                  Software},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {181--188},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_18},
  doi          = {10.1007/978-3-642-15585-7\_18},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/ShahbazE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/SumanMBSV10,
  author       = {P. Vijay Suman and
                  Tukaram Muske and
                  Prasad Bokil and
                  Ulka Shrotri and
                  R. Venkatesh},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Masking Boundary Value Coverage: Effectiveness and Efficiency},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {8--22},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_4},
  doi          = {10.1007/978-3-642-15585-7\_4},
  timestamp    = {Thu, 19 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/SumanMBSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/TrabACHG10,
  author       = {Mohammad Saeed Abou Trab and
                  Bachar Alrouh and
                  Steve Counsell and
                  Robert M. Hierons and
                  George Ghinea},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {A Multi-criteria Decision Making Framework for Real Time Model-Based
                  Testing},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {194--197},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_20},
  doi          = {10.1007/978-3-642-15585-7\_20},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/TrabACHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Walkinshaw10,
  author       = {Neil Walkinshaw},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {The Practical Assessment of Test Sets with Inductive Inference Techniques},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {165--172},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_16},
  doi          = {10.1007/978-3-642-15585-7\_16},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/Walkinshaw10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/WiederseinerJGE10,
  author       = {Christian Wiederseiner and
                  Shahnewaz A. Jolly and
                  Vahid Garousi and
                  Matt M. Eskandar},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {An Open-Source Tool for Automated Generation of Black-Box xUnit Test
                  Code and Its Industrial Evaluation},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {118--128},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_11},
  doi          = {10.1007/978-3-642-15585-7\_11},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/WiederseinerJGE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/taicpart/2010,
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7},
  doi          = {10.1007/978-3-642-15585-7},
  isbn         = {978-3-642-15584-0},
  timestamp    = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Ali06,
  author       = {Shaukat Ali},
  editor       = {Phil McMinn},
  title        = {AutoAbstract: Problem Statement and Hypothetical Solutions},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {75--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.4},
  doi          = {10.1109/TAIC-PART.2006.4},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Ali06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/AlshraidehB06,
  author       = {Mohammad Aref Alshraideh and
                  Leonardo Bottaci},
  editor       = {Phil McMinn},
  title        = {Using Program Data-State Diversity in Test Data Search},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {107--114},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.37},
  doi          = {10.1109/TAIC-PART.2006.37},
  timestamp    = {Tue, 27 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/AlshraidehB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/ApiwattanapongSCOH06,
  author       = {Taweesup Apiwattanapong and
                  Ra{\'{u}}l A. Santelices and
                  Pavan Kumar Chittimalli and
                  Alessandro Orso and
                  Mary Jean Harrold},
  editor       = {Phil McMinn},
  title        = {{MATRIX:} Maintenance-Oriented Testing Requirements Identifier and
                  Examiner},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {137--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.18},
  doi          = {10.1109/TAIC-PART.2006.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/ApiwattanapongSCOH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/BakerEGNZ06,
  author       = {Paul Baker and
                  Dominic Evans and
                  Jens Grabowski and
                  Helmut Neukirchen and
                  Benjamin Zeiss},
  editor       = {Phil McMinn},
  title        = {TRex - The Refactoring and Metrics Tool for {TTCN-3} Test Specifications},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {90--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.35},
  doi          = {10.1109/TAIC-PART.2006.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/BakerEGNZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Brenner06,
  author       = {Daniel Brenner},
  editor       = {Phil McMinn},
  title        = {Enabling Run-Time System Verification through Built-In Testing},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {131--136},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.8},
  doi          = {10.1109/TAIC-PART.2006.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Brenner06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/CounsellHNLH06,
  author       = {Steve Counsell and
                  Robert M. Hierons and
                  Rajaa Najjar and
                  George Loizou and
                  Youssef Hassoun},
  editor       = {Phil McMinn},
  title        = {The Effectiveness of Refactoring, Based on a Compatibility Testing
                  Taxonomy and a Dependency Graph},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {181--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.33},
  doi          = {10.1109/TAIC-PART.2006.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/CounsellHNLH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/EldhHPPS06,
  author       = {Sigrid Eldh and
                  Hans Hansson and
                  Sasikumar Punnekkat and
                  Anders Pettersson and
                  Daniel Sundmark},
  editor       = {Phil McMinn},
  title        = {A Framework for Comparing Efficiency, Effectiveness and Applicability
                  of Software Testing Techniques},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {159--170},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.1},
  doi          = {10.1109/TAIC-PART.2006.1},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/EldhHPPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Garcia-FanjulRT06,
  author       = {Jos{\'{e}} Garc{\'{\i}}a{-}Fanjul and
                  Claudio de la Riva and
                  Javier Tuya},
  editor       = {Phil McMinn},
  title        = {Generation of Conformance Test Suites for Compositions of Web Services
                  Using Model Checking},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {127--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.11},
  doi          = {10.1109/TAIC-PART.2006.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Garcia-FanjulRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Gardiner06,
  author       = {Jeremy Gardiner},
  editor       = {Phil McMinn},
  title        = {Delayed Failures in Software Using High Volume Automated Testing},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {193--196},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.6},
  doi          = {10.1109/TAIC-PART.2006.6},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Gardiner06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Gilchrist06,
  author       = {Ian Gilchrist},
  editor       = {Phil McMinn},
  title        = {Justifying Software Testing in the 21st Century},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {23--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.16},
  doi          = {10.1109/TAIC-PART.2006.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Gilchrist06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/GrasGP06,
  author       = {Jean{-}Jacques Gras and
                  Rishabh Gupta and
                  Elena P{\'{e}}rez{-}Mi{\~{n}}ana},
  editor       = {Phil McMinn},
  title        = {Generating a Test Strategy with Bayesian Networks and Common Sense},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {29--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.10},
  doi          = {10.1109/TAIC-PART.2006.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/GrasGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/GrindalOM06,
  author       = {Mats Grindal and
                  Jeff Offutt and
                  Jonas Mellin},
  editor       = {Phil McMinn},
  title        = {On the Testing Maturity of Software Producing Organizations},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {171--180},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.20},
  doi          = {10.1109/TAIC-PART.2006.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/GrindalOM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/HoldenD06,
  author       = {Ian Holden and
                  Dave Dalton},
  editor       = {Phil McMinn},
  title        = {Improving Testing Efficiency using Cumulative Test Analysis},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {152--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.13},
  doi          = {10.1109/TAIC-PART.2006.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/HoldenD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/HuangH06,
  author       = {Liang Huang and
                  Mike Holcombe},
  editor       = {Phil McMinn},
  title        = {Empirical Assessment of Test-First Approach},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {197--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.7},
  doi          = {10.1109/TAIC-PART.2006.7},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/HuangH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/KataraKMPS06,
  author       = {Mika Katara and
                  Antti Kervinen and
                  Mika Maunumaa and
                  Tuula P{\"{a}}{\"{a}}kk{\"{o}}nen and
                  Mikko Satama},
  editor       = {Phil McMinn},
  title        = {Towards Deploying Model-Based Testing with a Domain-Specific Modeling
                  Approach},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {81--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.34},
  doi          = {10.1109/TAIC-PART.2006.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/KataraKMPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/LiGS06,
  author       = {Keqin Li and
                  Roland Groz and
                  Muzammil Shahbaz},
  editor       = {Phil McMinn},
  title        = {Integration Testing of Components Guided by Incremental State Machine
                  Learning},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {59--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.15},
  doi          = {10.1109/TAIC-PART.2006.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/LiGS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/MillerSDCQHKR06,
  author       = {James Miller and
                  Michael R. Smith and
                  Steven Daeninck and
                  Jingwen Chen and
                  Juan Qiao and
                  Fang Huang and
                  Andrew K. C. Kwan and
                  Marc Roper},
  editor       = {Phil McMinn},
  title        = {An {XP} Inspired Test-Oriented Life-Cycle Production Strategy for
                  Building Embedded Biomedical Applications},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {95--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.2},
  doi          = {10.1109/TAIC-PART.2006.2},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/MillerSDCQHKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/OstrandW06,
  author       = {Thomas J. Ostrand and
                  Elaine J. Weyuker},
  editor       = {Phil McMinn},
  title        = {On the Automation of Software Fault Prediction},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {41--48},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.19},
  doi          = {10.1109/TAIC-PART.2006.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/OstrandW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Pesonen06,
  author       = {Jani Pesonen},
  editor       = {Phil McMinn},
  title        = {Extending Software Integration Testing Using Aspects in Symbian {OS}},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {147--151},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.9},
  doi          = {10.1109/TAIC-PART.2006.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Pesonen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/RobbyDH06,
  author       = {Robby and
                  Matthew B. Dwyer and
                  John Hatcliff},
  editor       = {Phil McMinn},
  title        = {Bogor: {A} Flexible Framework for Creating Software Model Checkers},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {3--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.5},
  doi          = {10.1109/TAIC-PART.2006.5},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/RobbyDH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/RoubtsovH06,
  author       = {Serguei A. Roubtsov and
                  Petra Heck},
  editor       = {Phil McMinn},
  title        = {Use Case-Based Acceptance Testing of a Large Industrial System: Approach
                  and Experience Report},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {211--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.36},
  doi          = {10.1109/TAIC-PART.2006.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/RoubtsovH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Shahbaz06,
  author       = {Muzammil Shahbaz},
  editor       = {Phil McMinn},
  title        = {Incremental Inference of Black-Box Components to Support Integration
                  Testing},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {71--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.14},
  doi          = {10.1109/TAIC-PART.2006.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Shahbaz06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Sneed06,
  author       = {Harry M. Sneed},
  editor       = {Phil McMinn},
  title        = {Testing a Datawarehouse - An Industrial Challenge},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {203--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.27},
  doi          = {10.1109/TAIC-PART.2006.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Sneed06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/WalkinshawBH06,
  author       = {Neil Walkinshaw and
                  Kirill Bogdanov and
                  Mike Holcombe},
  editor       = {Phil McMinn},
  title        = {Identifying State Transitions and their Functions in Source Code},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {49--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.12},
  doi          = {10.1109/TAIC-PART.2006.12},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/WalkinshawBH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/WillmorE06,
  author       = {David Willmor and
                  Suzanne M. Embury},
  editor       = {Phil McMinn},
  title        = {Testing the Implementation of Business Rules Using Intensional Database
                  Tests},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {115--126},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.28},
  doi          = {10.1109/TAIC-PART.2006.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/WillmorE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/X06,
  editor       = {Phil McMinn},
  title        = {Preface},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.21},
  doi          = {10.1109/TAIC-PART.2006.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/X06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/X06a,
  editor       = {Phil McMinn},
  title        = {{TAIC} {PART} Organization},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.24},
  doi          = {10.1109/TAIC-PART.2006.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/X06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/X06b,
  editor       = {Phil McMinn},
  title        = {{TAIC} {PART} Sponsors},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.26},
  doi          = {10.1109/TAIC-PART.2006.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/X06b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/X06c,
  editor       = {Phil McMinn},
  title        = {{TAIC} {PART} Collaborators},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.23},
  doi          = {10.1109/TAIC-PART.2006.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/X06c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/X06d,
  editor       = {Phil McMinn},
  title        = {Program Committee},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.22},
  doi          = {10.1109/TAIC-PART.2006.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/X06d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/X06e,
  editor       = {Phil McMinn},
  title        = {{TAIC} {PART} Program},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.25},
  doi          = {10.1109/TAIC-PART.2006.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/X06e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/X06f,
  editor       = {Phil McMinn},
  title        = {Keynotes},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.17},
  doi          = {10.1109/TAIC-PART.2006.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/X06f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/taicpart/2006,
  editor       = {Phil McMinn},
  title        = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/11139/proceeding},
  isbn         = {0-7695-2672-1},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taicpart/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}