(Un-)covering equivalent mutants

ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation

Volumn , Issue , 2010, Pages 45-54

  Schuler, David ^a   Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Code coverage; Dynamic analysis; Mutation testing

Indexed keywords

ARTIFICIAL DEFECTS; CLASSIFICATION PRECISION; CODE COVERAGE; DATA SETS; DYNAMIC INVARIANTS; JAVA PROGRAM; LINES OF CODE; MANUAL CLASSIFICATION; MUTATION TESTING; OPEN SOURCES; PROGRAM SEMANTICS; REAL DEFECTS; STATE OF THE ART;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DEFECTS; DYNAMIC ANALYSIS; EQUIVALENCE CLASSES; JAVA PROGRAMMING LANGUAGE; VERIFICATION;

SOFTWARE TESTING;

EID: 77954479049     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2010.30     Document Type: Conference Paper

References (19)

1. J. H. Andrews, L. C. Briand, and Y. Labiche, "Is mutation an appropriate tool for testing experiments?" in ICSE '05: Proceedings of the 27th International Conference on Software Engineering, 2005, pp. 402-411.
2. P. J. Walsh, "A measure of test case completeness," Ph.D. dissertation, Binghamton University, 1985.
3. P. G. Frankl, S. N. Weiss, and C. Hu, "All-uses versus mutation testing: An experimental comparison of effectiveness," Systems and Software, vol. 38, pp. 235-253, 1997.
4. D. Schuler, V. Dallmeier, and A. Zeller, "Efficient mutation testing by checking invariant violations," in ISSTA 2009: Proceedings of the International Symposium on Software Testing and Analysis, 2009.
5. D. Baldwin and F. Sayward, "Heuristics for determining equivalence of program mutations," Yale University, Department of Computer Science, Tech. Rep. 276, 1979.
6. A. J. Offutt and W. M. Craft, "Using compiler optimization techniques to detect equivalent mutants," Software Testing, Verification, and Reliability, vol. 4, pp. 131-154, 1994.
7. T. A. Budd and D. Angluin, "Two notions of correctness and their relation to testing," Acta Informatica, vol. 18, 1982.
8. B. J. M. Grim, D. Schuler, and A. Zeller, "The impact of equivalent mutants," in Mutation '09: 4th International Workshop on Mutation Analysis, 2009.
9. R. H. Untch, A. J. Offutt, and M. J. Harrold, "Mutation analysis using mutant schemata," in ISSTA '93: Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993, pp. 139-148.
10. H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact," Empirical Software Engineering, vol. 10, no. 4, pp. 405-435, 2005.
11. A. J. Offutt and J. Pan, "Automatically detecting equivalent mutants and infeasible paths," Software Testing, Verification, and Reliability, vol. 7, no. 3, pp. 165-192, 1997.
12. W. E. Howden, "Weak mutation testing and completeness of test sets," IEEE Trans. on Software Engineering, vol. 8, no. 4, pp. 371-379, 1982.
13. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, "Dynamically discovering likely program invariants to support program evolution," IEEE Trans. on Software Engineering, vol. 27, no. 2, pp. 99-123, 2001.
14. A. J. Offutt and J. Pan, "Detecting equivalent mutants and the feasible path problem," in COMPASS '96: Proceedings 11th Conference on Computer Assurance, 1996, pp. 224-236.
15. R. Hierons and M. Harman, "Using program slicing to assist in the detection of equivalent mutants," Software Testing, Verification and Reliability, vol. 9, no. 4, pp. 233-262, 1999.
16. R. A. DeMillo, R. J. Lipton, and F. Sayward, "Hints on test data selection: Help for the practicing programmer," Computer, vol. 11, no. 4, pp. 34-41, 1978.
17. K. Adamopoulos, M. Harman, and R. M. Hierons, "How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution," in Genetic and Evolutionary Computation, vol. 3103, 2004, pp. 1338-1349.
18. A. J. Offutt, "Investigations of the software testing coupling effect," ACM Trans. on Software Engineering and Methodology, vol. 1, no. 1, pp. 5-20, 1992.
19. Y. Jia and M. Harman, "Constructing subtle faults using higher order mutation testing," in SCAM 08: Proceedings of the 8th International Working Conference on Source Code Analysis and Manipulation, 2008, pp. 249-258.