Mutation Testing Publications

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

251Matt Staats and Gregory Gay and Mats Per Erik Heimdahl
Automated oracle creation support, or: How {I} learned to stop worrying about fault propagation and love mutation testing
34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012.
BibTeX | Abstract | PDF | DOI
252Mike Papadakis and Nicos Malevris
Killing Mutants Effectively a Search Based Approach
Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012, 2012.
BibTeX | Abstract | PDF | DOI
253Haitao Dan and Robert M. Hierons
Semantic Mutation Analysis of Floating-Point Comparison
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
254Mike Papadakis and Yves Le Traon
Using Mutants to Locate "Unknown" Faults
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
255Claire {Le Goues} and Michael Dewey{-}Vogt and Stephanie Forrest and Westley Weimer
A systematic study of automated program repair: Fixing 55 out of 105 bugs for {\textdollar}8 each
34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012.
BibTeX | Abstract | PDF | DOI
256Pedro Reales Mateo and Macario Polo Usaola
Mutant Execution Cost Reduction: Through {MUSIC} (Mutant Schema Improved with Extra Code)
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
257Dan Hao and Lu Zhang and Xingxia Wu and Hong Mei and Gregg Rothermel
On-demand test suite reduction
34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012.
BibTeX | Abstract | PDF | DOI
258Macario Polo Usaola and Pedro Reales Mateo and Beatriz P{\'{e}}rez Lamancha
Reduction of Test Suites Using Mutation
Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012.
BibTeX | Abstract | PDF | DOI
259Haitao Dan and Robert M. Hierons
{SMT-C:} {A} Semantic Mutation Testing Tools for {C}
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
260Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid
Regression mutation testing
International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012, 2012.
BibTeX | Abstract | PDF | DOI