@INPROCEEDINGS{groce_ISSTA_12, author = {Alex Groce and Chaoqiang Zhang and Eric Eide and Yang Chen and John Regehr}, title = {Swarm testing}, booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012}, year = {2012}, address = {}, month = {}, pages = {78--88} }

@INPROCEEDINGS{OmarG12, author = {Elmahdi Omar and Sudipto Ghosh}, title = {An Exploratory Study of Higher Order Mutation Testing in Aspect-Oriented Programming}, booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012}, year = {2012}, address = {}, month = {}, pages = {1--10} }

@INPROCEEDINGS{PatrickOC12, author = {Matthew Patrick and Manuel Oriol and John A. Clark}, title = {{MESSI:} Mutant Evaluation by Static Semantic Interpretation}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {711--719} }

@ARTICLE{yoo_STVR_12, author = {Shin Yoo and Mark Harman}, title = {Test data regeneration: generating new test data from existing test data}, journal = {Softw. Test., Verif. Reliab.}, year = {2012}, month = {}, volume = {22}, number = {3}, pages = {171--201} }

@ARTICLE{andres_STVR_12, author = {C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez}, title = {Formal passive testing of timed systems: theory and tools}, journal = {Softw. Test., Verif. Reliab.}, year = {2012}, month = {}, volume = {22}, number = {6}, pages = {365--405} }

@INPROCEEDINGS{aichernig_ICST_12, author = {Bernhard K. Aichernig and Elisabeth J{\"{o}}bstl}, title = {Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {752--757} }

@INPROCEEDINGS{zhou_ICST_12, author = {Chixiang Zhou and Phyllis G. Frankl}, title = {Empirical Studies on Test Effectiveness for Database Applications}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {61--70} }

@ARTICLE{strecker_TOSEM_12, author = {Jaymie Strecker and Atif M. Memon}, title = {Accounting for defect characteristics in evaluations of testing techniques}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, year = {2012}, month = {}, volume = {21}, number = {3}, pages = {17:1--17:43} }

@ARTICLE{xu_STVR_12, author = {Dianxiang Xu and Omar el Ariss and Weifeng Xu and Linzhang Wang}, title = {Testing aspect-oriented programs with finite state machines}, journal = {Softw. Test., Verif. Reliab.}, year = {2012}, month = {}, volume = {22}, number = {4}, pages = {267--293} }

@INPROCEEDINGS{KintisPM12, author = {Marinos Kintis and Mike Papadakis and Nicos Malevris}, title = {Isolating First Order Equivalent Mutants via Second Order Mutation}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {701--710} }

@INPROCEEDINGS{StaatsGH12, author = {Matt Staats and Gregory Gay and Mats Per Erik Heimdahl}, title = {Automated oracle creation support, or: How {I} learned to stop worrying about fault propagation and love mutation testing}, booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland}, year = {2012}, address = {}, month = {}, pages = {870--880} }

@INPROCEEDINGS{PapadakisM12b, author = {Mike Papadakis and Nicos Malevris}, title = {Killing Mutants Effectively a Search Based Approach}, booktitle = {Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012}, year = {2012}, address = {}, month = {}, pages = {217--226} }

@INPROCEEDINGS{DanH12, author = {Haitao Dan and Robert M. Hierons}, title = {Semantic Mutation Analysis of Floating-Point Comparison}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {290--299} }

@INPROCEEDINGS{PapadakisT12, author = {Mike Papadakis and Yves Le Traon}, title = {Using Mutants to Locate "Unknown" Faults}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {691--700} }

@INPROCEEDINGS{GouesDFW12, author = {Claire {Le Goues} and Michael Dewey{-}Vogt and Stephanie Forrest and Westley Weimer}, title = {A systematic study of automated program repair: Fixing 55 out of 105 bugs for {\textdollar}8 each}, booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland}, year = {2012}, address = {}, month = {}, pages = {3--13} }

@INPROCEEDINGS{MateoU12, author = {Pedro Reales Mateo and Macario Polo Usaola}, title = {Mutant Execution Cost Reduction: Through {MUSIC} (Mutant Schema Improved with Extra Code)}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {664--672} }

@INPROCEEDINGS{HaoZWMR12, author = {Dan Hao and Lu Zhang and Xingxia Wu and Hong Mei and Gregg Rothermel}, title = {On-demand test suite reduction}, booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland}, year = {2012}, address = {}, month = {}, pages = {738--748} }

@INPROCEEDINGS{UsaolaML12, author = {Macario Polo Usaola and Pedro Reales Mateo and Beatriz P{\'{e}}rez Lamancha}, title = {Reduction of Test Suites Using Mutation}, booktitle = {Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, year = {2012}, address = {}, month = {}, pages = {425--438} }

@INPROCEEDINGS{dan_ICSTW_12, author = {Haitao Dan and Robert M. Hierons}, title = {{SMT-C:} {A} Semantic Mutation Testing Tools for {C}}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {654--663} }

@INPROCEEDINGS{ZhangMZK12, author = {Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid}, title = {Regression mutation testing}, booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012}, year = {2012}, address = {}, month = {}, pages = {331--341} }