Mutation Testing Publications

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

181Christopher Henard and Mike Papadakis and Yves Le Traon
MutaLog: {A} Tool for Mutating Logic Formulas
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
182Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark
Probability-Based Semantic Interpretation of Mutants
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
183Christopher Henard and Mike Papadakis and Yves Le Traon
Mutation-Based Generation of Software Product Line Test Configurations
Search-Based Software Engineering - 6th International Symposium, {SSBSE} 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings, 2014.
BibTeX | Abstract | PDF | DOI
184Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens
A variability perspective of mutation analysis
Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, 2014.
BibTeX | Abstract | PDF | DOI
185Marinos Kintis and Nicos Malevris
Using Data Flow Patterns for Equivalent Mutant Detection
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
186Xiangjuan Yao and Mark Harman and Yue Jia
A study of equivalent and stubborn mutation operators using human analysis of equivalence
36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
BibTeX | Abstract | PDF | DOI
187Derezi{\'{n}}ska, Anna and Ha{\l}as, Konrad
Analysis of Mutation Operators for the Python Language
Unknown-
BibTeX | Abstract | URL | DOI
188Paul Ammann and M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt
Establishing Theoretical Minimal Sets of Mutants
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
189Syed Shariyar Murtaza and Abdelwahab Hamou{-}Lhadj and Nazim H. Madhavji and Mechelle Gittens
An empirical study on the use of mutant traces for diagnosis of faults in deployed systems
Journal of Systems and Software, 90(), 2014.
BibTeX | Abstract | PDF | DOI
190Seokhyeon Moon and Yunho Kim and Moonzoo Kim and Shin Yoo
Ask the Mutants: Mutating Faulty Programs for Fault Localization
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI