Mutation Testing Publications

Search results for "all papers", found 857 papers, 86 pages

1Mike Papadakis and Marinos Kintis and Jie Zhang and Yue Jia and Yves Le Traon and Mark Harman
Mutation Testing Advances: An Analysis and Survey
Unknown-
BibTeX | Abstract | URL
2Mike Papadakis and Donghwan Shin and Shin Yoo and Doo{-}Hwan Bae
Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults
Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - 3 June, 2018, 2018.
BibTeX | Abstract | URL
3Michael Marcozzi and Sebastien Bardin and Nikolai Kosmatov and Mike Papadakis and Virgile Prevosto and Loïc Correnson
Time to Clean your Test Objectives
Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - 3 June, 2018, 2018.
BibTeX | Abstract | URL
4Rudolf Ramler and Thomas Wetzlmaier and Claus Klammer
An empirical study on the application of mutation testing for a safety-critical industrial software system
Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017, 2017.
BibTeX | Abstract | PDF | DOI
5Jabbarvand, Reyhaneh and Malek, Sam
{mu}Droid: An Energy-aware Mutation Testing Framework for Android
Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringNew York, NY, USA, 2017.
BibTeX | Abstract | PDF | DOI
6V. H. S. Durelli and N. M. De Souza and M. E. Delamaro
Are Deletion Mutants Easier to Identify Manually?
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
7R. Gopinath and E. Walkingshaw
How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 2017.
BibTeX | Abstract | URL | DOI
8Matthew Patrick and Yue Jia
{KD-ART:} Should we intensify or diversify tests to kill mutants?
Information {\&} Software Technology, 81(), 2017.
BibTeX | Abstract | PDF | DOI
9Xavier Devroey and Gilles Perrouin and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens and Patrick Heymans
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017, 2017.
BibTeX | Abstract | PDF | DOI
10M. Marcozzi and M. Delahaye and S. Bardin and N. Kosmatov and V. Prevosto
Generic and Effective Specification of Structural Test Objectives
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), March 2017.
BibTeX | Abstract | URL | DOI