Mutation Testing Publications

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

331Mark B. Trakhtenbrot
Implementation-Oriented Mutation Testing of Statechart Models
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
332Salem Fawaz Adra and Phil McMinn
Mutation Operators for Agent-Based Models
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
333Pedro Reales Mateo and Macario Polo Usaola and A. Jefferson Offutt
Mutation at System and Functional Levels
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
334Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei
Test generation via Dynamic Symbolic Execution for mutation testing
26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania, 2010.
BibTeX | Abstract | PDF | DOI
335Mike Papadakis and Nicos Malevris
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
336Lu Zhang and Shan{-}Shan Hou and Jun{-}Jue Hu and Tao Xie and Hong Mei
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010, 2010.
BibTeX | Abstract | PDF | DOI
337Marinos Kintis and Mike Papadakis and Nicos Malevris
Evaluating Mutation Testing Alternatives: {A} Collateral Experiment
17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010, 2010.
BibTeX | Abstract | PDF | DOI
338Mike Papadakis and Nicos Malevris and Marinos Kintis
Mutation Testing Strategies - {A} Collateral Approach
{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010, 2010.
BibTeX | Abstract | URL
339Mike Papadakis and Nicos Malevris
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
340Vilas Jagannath and Milos Gligoric and Steven Lauterburg and Darko Marinov and Gul Agha
Mutation Operators for Actor Systems
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI