@ARTICLE{ClarkDH13, author = {John A. Clark and Haitao Dan and Robert M. Hierons}, title = {Semantic mutation testing}, journal = {Sci. Comput. Program.}, year = {2013}, month = {}, volume = {78}, number = {4}, pages = {345--363} }

@INPROCEEDINGS{zhang_ICSE_13, author = {Lingming Zhang and Dan Hao and Lu Zhang and Gregg Rothermel and Hong Mei}, title = {Bridging the gap between the total and additional test-case prioritization strategies}, booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013}, year = {2013}, address = {}, month = {}, pages = {192--201} }

@INPROCEEDINGS{NguyenQRC13, author = {Hoang Duong Thien Nguyen and Dawei Qi and Abhik Roychoudhury and Satish Chandra}, title = {SemFix: program repair via semantic analysis}, booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013}, year = {2013}, address = {}, month = {}, pages = {772--781} }

@INPROCEEDINGS{DengOL13, author = {Lin Deng and Jeff Offutt and Nan Li}, title = {Empirical Evaluation of the Statement Deletion Mutation Operator}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013}, year = {2013}, address = {}, month = {}, pages = {84--93} }

@INPROCEEDINGS{MirshokraieMP13a, author = {Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman}, title = {{PYTHIA:} Generating test cases with oracles for JavaScript applications}, booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013}, year = {2013}, address = {}, month = {}, pages = {610--615} }

@INPROCEEDINGS{ZhangGMK13, author = {Lingming Zhang and Milos Gligoric and Darko Marinov and Sarfraz Khurshid}, title = {Operator-based and random mutant selection: Better together}, booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013}, year = {2013}, address = {}, month = {}, pages = {92--102} }

@INPROCEEDINGS{PapadakisT13, author = {Mike Papadakis and Yves Le Traon}, title = {Mutation testing strategies using mutant classification}, booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013}, year = {2013}, address = {}, month = {}, pages = {1223--1229} }

@INPROCEEDINGS{GligoricZPP13, author = {Milos Gligoric and Lingming Zhang and Cristiano Pereira and Gilles Pokam}, title = {Selective mutation testing for concurrent code}, booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013}, year = {2013}, address = {}, month = {}, pages = {224--234} }

@INPROCEEDINGS{WrightKM13, author = {Chris J. Wright and Gregory M. Kapfhammer and Phil McMinn}, title = {Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013}, year = {2013}, address = {}, month = {}, pages = {63--72} }

@INPROCEEDINGS{OmarGW13, author = {Elmahdi Omar and Sudipto Ghosh and Darrell Whitley}, title = {Constructing subtle higher order mutants for Java and AspectJ programs}, booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering, {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013}, year = {2013}, address = {}, month = {}, pages = {340--349} }

@ARTICLE{BakerH13, author = {Richard Baker and Ibrahim Habli}, title = {An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software}, journal = {{IEEE} Trans. Software Eng.}, year = {2013}, month = {}, volume = {39}, number = {6}, pages = {787--805} }

@INPROCEEDINGS{MirshokraieMP13b, author = {Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman}, title = {Efficient JavaScript Mutation Testing}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013}, year = {2013}, address = {}, month = {}, pages = {74--83} }

@INPROCEEDINGS{kapfhammer_ICST_13, author = {Gregory M. Kapfhammer and Phil McMinn and Chris J. Wright}, title = {Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013}, year = {2013}, address = {}, month = {}, pages = {31--40} }

@INPROCEEDINGS{bertolino_mutation_13_xacmut, author = {Antonia Bertolino and Said Daoudagh and Francesca Lonetti and Eda Marchetti}, title = {{XACMUT:} {XACML} 2.0 Mutants Generator}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013}, year = {2013}, address = {}, month = {}, pages = {28--33} }

@INPROCEEDINGS{kusano_ASE_13, author = {Markus Kusano and Chao Wang}, title = {CCmutator: {A} mutation generator for concurrency constructs in multithreaded {C/C++} applications}, booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013}, year = {2013}, address = {}, month = {}, pages = {722--725} }

@ARTICLE{SchulerZ13, author = {David Schuler and Andreas Zeller}, title = {Covering and Uncovering Equivalent Mutants}, journal = {Softw. Test., Verif. Reliab.}, year = {2013}, month = {}, volume = {23}, number = {5}, pages = {353--374} }

@INPROCEEDINGS{InozemtsevaHH13, author = {Laura Inozemtseva and Hadi Hemmati and Reid Holmes}, title = {Using fault history to improve mutation reduction}, booktitle = {Joint Meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013}, year = {2013}, address = {}, month = {}, pages = {639--642} }

@ARTICLE{ye_TSE_13, author = {Chunyang Ye and Hans{-}Arno Jacobsen}, title = {Whitening {SOA} Testing via Event Exposure}, journal = {{IEEE} Trans. Software Eng.}, year = {2013}, month = {}, volume = {39}, number = {10}, pages = {1444--1465} }

@INPROCEEDINGS{KintisM13, author = {Marinos Kintis and Nicos Malevris}, title = {Identifying More Equivalent Mutants via Code Similarity}, booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1}, year = {2013}, address = {}, month = {}, pages = {180--188} }

@ARTICLE{KaminskiAO13, author = {Gary Kaminski and Paul Ammann and Jeff Offutt}, title = {Improving logic-based testing}, journal = {Journal of Systems and Software}, year = {2013}, month = {}, volume = {86}, number = {8}, pages = {2002--2012} }