Mutation Testing Publications

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

301Yue Jia and Mark Harman
An Analysis and Survey of the Development of Mutation Testing
{IEEE} Trans. Software Eng., 37(5), 2011.
BibTeX | Abstract | PDF | DOI
302Brady J. Garvin and Myra B. Cohen
Feature Interaction Faults Revisited: An Exploratory Study
{IEEE} 22nd International Symposium on Software Reliability Engineering, {ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011, 2011.
BibTeX | Abstract | PDF | DOI
303Birgit Schwarz and David Schuler and Andreas Zeller
Breeding High-Impact Mutations
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
304Juan Boubeta{-}Puig and Inmaculada Medina{-}Bulo and Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez
Analogies and Differences between Mutation Operators for {WS-BPEL} 2.0 and Other Languages
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
305Mike Papadakis and Nicos Malevris
Automatic mutation based test data generation
13th Annual Genetic and Evolutionary Computation Conference, {GECCO} 2011, Companion Material Proceedings, Dublin, Ireland, July 12-16, 2011, 2011.
BibTeX | Abstract | PDF | DOI
306Jaechang Nam and David Schuler and Andreas Zeller
Calibrated Mutation Testing
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
307Arcuri, Andrea and Briand, Lionel
A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering
ICSE, 2011.
BibTeX | Abstract | PDF | DOI
308Jeff Offutt
A mutation carol: Past, present and future
Information {\&} Software Technology, 53(10), 2011.
BibTeX | Abstract | PDF | DOI
309Heinz Riener and Roderick Bloem and G{\"{o}}rschwin Fey
Test Case Generation from Mutants Using Model Checking Techniques
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
310Leonardo Bottaci
Type Sensitive Application of Mutation Operators for Dynamically Typed Programs
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
311Antonia Estero-Botaro and Francisco Palomo-Lozano and Inmaculada Medina-Bulo
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
312Lech Madeyski and N. Radyk
Judy - a mutation testing tool for Java
{IET} Software, 4(1), 2010.
BibTeX | Abstract | PDF | DOI
313Antonia Estero{-}Botaro and Francisco Palomo{-}Lozano and Inmaculada Medina{-}Bulo
Quantitative Evaluation of Mutation Operators for {WS-BPEL} Compositions
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
314Milos Gligoric and Vilas Jagannath and Darko Marinov
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, 2010.
BibTeX | Abstract | PDF | DOI
315John A. Clark and Haitao Dan and Robert M. Hierons
Semantic Mutation Testing
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
316Salem Adra and Phil McMin
Mutation Operators for Agent-Based Models
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
317Mike Papadakis and Nicos Malevris
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
{IEEE} 21st International Symposium on Software Reliability Engineering, {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010, 2010.
BibTeX | Abstract | PDF | DOI
318Upsorn Praphamontripong and A. Jefferson Offutt
Applying Mutation Testing to Web Applications
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
319Vidroha Debroy and W. Eric Wong
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Proceedings of the 3rd International Conference on Software Testing Verification and Validation (ICST'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
320Pedro Reales Mateo and Macario Polo Usaola and Jeff Offutt
Mutation at System and Functional Levels
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI