@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} }