Mutation Testing Publications

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

171Rahul Gopinath and Carlos Jensen and Alex Groce
Mutations: How Close are they to Real Faults?
25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014, 2014.
BibTeX | Abstract | PDF | DOI
172Mike Papadakis and M{\'{a}}rcio Eduardo Delamaro and Yves Le Traon
Mitigating the effects of equivalent mutants with mutant classification strategies
Sci. Comput. Program., 95(), 2014.
BibTeX | Abstract | PDF | DOI
173Jie Zhang and Muyao Zhu and Dan Hao and Lu Zhang
An Empirical Study on the Scalability of Selective Mutation Testing
25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014, 2014.
BibTeX | Abstract | PDF | DOI
174Ren{\'{e}} Just and Michael D. Ernst and Gordon Fraser
Efficient mutation analysis by propagating and partitioning infected execution states
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
175Souza, F. C. and Papadakis, M. and Durelli, V. H. S. and Delamaro, M. E.
Test Data Generation Techniques for Mutation Testing: A Systematic Mapping
Proceedings of the 11th ESELAW, 2014.
BibTeX | Abstract | URL
176Mark Harman and Yue Jia and Pedro Reales Mateo and Macario Polo
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation
{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014, 2014.
BibTeX | Abstract | PDF | DOI
177S{\'{e}}bastien Bardin and Nikolai Kosmatov and Fran{\c{c}}ois Cheynier
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
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
178Elmahdi Omar and Sudipto Ghosh and Darrell Whitley
Comparing search techniques for finding subtle higher order mutants
Genetic and Evolutionary Computation Conference, {GECCO} '14, Vancouver, BC, Canada, July 12-16, 2014, 2014.
BibTeX | Abstract | PDF | DOI
179Bob Kurtz and Paul Ammann and M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt and Lin Deng
Mutant Subsumption Graphs
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
180Tingliang Zhou and Haiying Sun and Jing Liu and Xiaohong Chen and Dehui Du
Improving Testing Coverage for Safety-Critical System by Mutated Specification
21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers, 2014.
BibTeX | Abstract | PDF | DOI