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