@INPROCEEDINGS{HassanA13, author = {Mohammad Mahdi Hassan and James H. Andrews}, title = {Comparing multi-point stride coverage and dataflow coverage}, booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013}, year = {2013}, address = {}, month = {}, pages = {172--181} }

@INPROCEEDINGS{patrick_ICST_13, author = {Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark}, title = {Using Mutation Analysis to Evolve Subdomains for Random Testing}, 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 = {53--62} }

@INPROCEEDINGS{stephan_ICSE_13, author = {Matthew Stephan and Manar H. Alalfi and Andrew Stevenson and James R. Cordy}, title = {Using mutation analysis for a model-clone detector comparison framework}, booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013}, year = {2013}, address = {}, month = {}, pages = {1261--1264} }

@INPROCEEDINGS{GligoricGZSAM13, author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov}, title = {Comparing non-adequate test suites using coverage criteria}, booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013}, year = {2013}, address = {}, month = {}, pages = {302--313} }

@INPROCEEDINGS{KimNSK13, author = {Dongsun Kim and Jaechang Nam and Jaewoo Song and Sunghun Kim}, title = {Automatic patch generation learned from human-written patches}, booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013}, year = {2013}, address = {}, month = {}, pages = {802--811} }

@INPROCEEDINGS{henard_ICST_13, author = {Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon}, title = {Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing}, 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 = {188--197} }

@ARTICLE{MateoUA13, author = {Pedro Reales Mateo and Macario Polo Usaola and Jos{\'{e}} Luis Fern{\'{a}}ndez Alem{\'{a}}n}, title = {Validating Second-Order Mutation at System Level}, journal = {{IEEE} Trans. Software Eng.}, year = {2013}, month = {}, volume = {39}, number = {4}, pages = {570--587} }

@ARTICLE{KimMK13, author = {Sang{-}Woon Kim and Yu{-}Seung Ma and Yong Rae Kwon}, title = {Combining weak and strong mutation for a noninterpretive Java mutation system}, journal = {Softw. Test., Verif. Reliab.}, year = {2013}, month = {}, volume = {23}, number = {8}, pages = {647--668} }

@INPROCEEDINGS{aichernig_TAP_13, author = {Bernhard K. Aichernig and Florian Lorber and Dejan Nickovic}, title = {Time for Mutants - Model-Based Mutation Testing with Timed Automata}, booktitle = {Tests and Proofs - 7th International Conference, {TAP} 2013, Budapest, Hungary, June 16-20, 2013. Proceedings}, year = {2013}, address = {}, month = {}, pages = {20--38} }

@INPROCEEDINGS{WeimerFF13, author = {Westley Weimer and Zachary P. Fry and Stephanie Forrest}, title = {Leveraging program equivalence for adaptive program repair: Models and first results}, 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 = {356--366} }