Mutation Testing Publications

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

471Matthew Kaplan and Tim Klinger and Amit M. Paradkar and Avik Sinha and Clay Williams and Cemal Yilmaz
Less is More: {A} Minimalistic Approach to {UML} Model-Based Conformance Test Generation
First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, 2008.
BibTeX | Abstract | PDF | DOI
472Yue Jia and Mark Harman
MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
Proceedings of the 3rd Testing: Academic and Industrial Conference Practice and Research Techniques (TAIC PART'08)Windsor, UK, 29-31 August 2008.
BibTeX | Abstract | URL
473Gordon Fraser and Franz Wotawa
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Journal, 16(2), 2008.
BibTeX | Abstract | PDF | DOI
474Jaymie Strecker and Atif M. Memon
Relationships between Test Suites, Faults, and Fault Detection in {GUI} Testing
First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, 2008.
BibTeX | Abstract | PDF | DOI
475Akbar Siami Namin and James H. Andrews and Duncan J. Murdoch
Sufficient mutation operators for measuring test effectiveness
30th International Conference on Software Engineering {(ICSE} 2008), Leipzig, Germany, May 10-18, 2008, 2008.
BibTeX | Abstract | PDF | DOI
476X. Feng and S. Marr and T. O'Callaghan
ESTP: An Experimental Software Testing Platform
Testing: Academic Industrial Conference - Practice and Research Techniques (taic part 2008), Aug 2008.
BibTeX | Abstract | URL | DOI
477Yue Jia and Mark Harman
Constructing Subtle Faults Using Higher Order Mutation Testing
Eighth {IEEE} International Working Conference on Source Code Analysis and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China, 2008.
BibTeX | Abstract | PDF | DOI
478Roy Patrick Tan and Stephen Edwards
Evaluating Automated Unit Testing in Sulu
First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, 2008.
BibTeX | Abstract | PDF | DOI
479Ajitha Rajan and Michael W. Whalen and Matt Staats and Mats Per Erik Heimdahl
Requirements Coverage as an Adequacy Measure for Conformance Testing
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008.
BibTeX | Abstract | PDF | DOI
480Prasanth Anbalagan and Tao Xie
Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
19th International Symposium on Software Reliability Engineering {(ISSRE} 2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}, 2008.
BibTeX | Abstract | PDF | DOI