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

@INPROCEEDINGS{GopinathAAJG15, author = {Rahul Gopinath and Amin Alipour and Iftekhar Ahmed and Carlos Jensen and Alex Groce}, title = {How hard does mutation analysis have to be, anyway?}, booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015}, year = {2015}, address = {}, month = {}, pages = {216--227} }

@INPROCEEDINGS{FilhoV15, author = {Rui Angelo Matnei Filho and Silvia Regina Vergilio}, title = {A Mutation and Multi-objective Test Data Generation Approach for Feature Testing of Software Product Lines}, booktitle = {29th Brazilian Symposium on Software Engineering, {SBES} 2015, Belo Horizonte, MG, Brazil, September 21-26, 2015}, year = {2015}, address = {}, month = {}, pages = {21--30} }

@INPROCEEDINGS{mahajan_ICST_14, author = {Sonal Mahajan and William G. J. Halfond}, title = {Finding {HTML} presentation failures using image comparison techniques}, booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014}, year = {2014}, address = {}, month = {}, pages = {91--96} }

@INPROCEEDINGS{el_fakih_ICSTW_14, author = {Khaled El{-}Fakih and Adenilso Sim{\~{a}}o and Noshad Jadoon and Jos{\'{e}} Carlos Maldonado}, title = {On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria}, booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}}, year = {2014}, address = {}, month = {}, pages = {222--229} }

@INPROCEEDINGS{maruchi_ICSTW_14, author = {Kohei Maruchi and Hiromasa Shin and Masahiro Sakai}, title = {MC/DC-Like Structural Coverage Criteria for Function Block Diagrams}, booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}}, year = {2014}, address = {}, month = {}, pages = {253--259} }

@INPROCEEDINGS{papadakis_ICST_14, author = {Mike Papadakis and Christopher Henard and Yves Le Traon}, title = {Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing}, booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}}, year = {2014}, address = {}, month = {}, pages = {1--10} }

@INPROCEEDINGS{InozemtsevaH14, author = {Laura Inozemtseva and Reid Holmes}, title = {Coverage is not strongly correlated with test suite effectiveness}, booktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014}, year = {2014}, address = {}, month = {}, pages = {435--445} }

@INPROCEEDINGS{wang_other_14, author = {Wang, Yan Rong and Yin, Yong Feng and Zhou, Yi Bin}, title = {Research and Improvements on Mutation Operators for Simulink Models}, booktitle = {Manufacturing Technology, Electronics, Computer and Information Technology Applications}, year = {2014}, address = {}, month = {12}, pages = {1389--1393} }

@INPROCEEDINGS{DelamaroOA14, author = {M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt and Paul Ammann}, title = {Designing Deletion Mutation Operators}, booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}}, year = {2014}, address = {}, month = {}, pages = {11--20} }

@ARTICLE{yang_TOSEM_14, author = {Guowei Yang and Suzette Person and Neha Rungta and Sarfraz Khurshid}, title = {Directed Incremental Symbolic Execution}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, year = {2014}, month = {}, volume = {24}, number = {1}, pages = {3:1--3:42} }