@ARTICLE{aichernig_STVR_15, author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"{o}}bstl and Willibald Krenn and Rupert Schlick and Stefan Tiran}, title = {Killing strategies for model-based mutation testing}, journal = {Softw. Test., Verif. Reliab.}, year = {2015}, month = {}, volume = {25}, number = {8}, pages = {716--748} }

@ARTICLE{belli_TSE_15, author = {Fevzi Belli and Mutlu Beyazit}, title = {Exploiting Model Morphology for Event-Based Testing}, journal = {{IEEE} Trans. Software Eng.}, year = {2015}, month = {}, volume = {41}, number = {2}, pages = {113--134} }

@INPROCEEDINGS{pankumhang:ICST:15, author = {Tosapon Pankumhang and Matthew Rutherford}, title = {Iterative Instrumentation for Code Coverage in Time-Sensitive Systems}, booktitle = {8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015}, year = {2015}, address = {}, month = {}, pages = {1--10} }

@ARTICLE{galeotti_TSE_15, author = {Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller}, title = {Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking}, journal = {{IEEE} Trans. Software Eng.}, year = {2015}, month = {}, volume = {41}, number = {10}, pages = {1019--1037} }

@INPROCEEDINGS{Zhang15, author = {Jie Zhang}, title = {Scalability Studies on Selective Mutation Testing}, booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2}, year = {2015}, address = {}, month = {}, pages = {851--854} }

@INPROCEEDINGS{li_ICSTW_15, author = {Nan Li and Michael West and Anthony Escalona and Vinicius H. S. Durelli}, title = {Mutation testing in practice using Ruby}, booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015}, year = {2015}, address = {}, month = {}, pages = {1--6} }

@INPROCEEDINGS{guan_ICSTW_15, author = {Jing Guan and Jeff Offutt}, title = {A model-based testing technique for component-based real-time embedded systems}, booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015}, year = {2015}, address = {}, month = {}, pages = {1--10} }

@ARTICLE{GaySWH15a, author = {Gregory Gay and Matt Staats and Michael W. Whalen and Mats Per Erik Heimdahl}, title = {Automated Oracle Data Selection Support}, journal = {{IEEE} Trans. Software Eng.}, year = {2015}, month = {}, volume = {41}, number = {11}, pages = {1119--1137} }

@INPROCEEDINGS{groce_ase_15, author = {Alex Groce and Iftekhar Ahmed and Carlos Jensen and Paul E. McKenney}, title = {How Verified is My Code? Falsification-Driven Verification {(T)}}, booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015}, year = {2015}, address = {}, month = {}, pages = {737--748} }

@INPROCEEDINGS{BardinDDKPTM15, author = {S{\'{e}}bastien Bardin and Micka{\"{e}}l Delahaye and Robin David and Nikolai Kosmatov and Mike Papadakis and Yves Le Traon and Jean{-}Yves Marion}, title = {Sound and Quasi-Complete Detection of Infeasible Test Requirements}, booktitle = {8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015}, year = {2015}, address = {}, month = {}, pages = {1--10} }