Efficient mutation testing by checking invariant violations

Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009

Volumn , Issue , 2009, Pages 69-79

  Schuler, David ^a   Dallmeier, Valentin ^a   Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Dynamic invariants; Mutation testing

Indexed keywords

SEMANTICS;

ARTIFICIAL DEFECTS; DYNAMIC INVARIANTS; EQUIVALENT MUTANTS; INDUSTRIAL SIZE; MUTATION TESTING;

SOFTWARE TESTING;

EID: 85008252592     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1572272.1572282     Document Type: Conference Paper

References (27)

1. 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|GECCO 2004, volume 3103 of Lecture Notes in Computer Science, pages 1338-1349, Seattle, Washington, 2004. Springer.
2. 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, pages 402-411, New York, NY, USA, 2005. ACM.
3. D. Baldwin and F. Sayward. Heuristics for determining equivalence of program mutations. Technical Report 276, Yale University, Department of Computer Science, 1979.
4. V. Dallmeier, C. Lindig, and A. Zeller. Lightweight defect localization for Java. In ECOOP '05: Proceedings of 19th European Conference on Object-Oriented Programming, number 3586 in Lecture Notes in Computer Science, pages 528-550. Springer, 2005.
5. R. A. DeMillo, D. S. Guindi, K. N. King, W. M. McCracken, and A. J. Offutt. An extended overview of the Mothra software testing environment. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, pages 142-151, Banff, Alberta, 1988. IEEE Computer Society Press.
6. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41, 1978.
7. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, Feb. 2001.
8. P. G. Frankl, S. N. Weiss, and C. Hu. All-uses versus mutation testing: An experimental comparison of effectiveness. Journal of Systems and Software, 38:235-253, 1997.
9. B. J. M. Grun, D. Schuler, and A. Zeller. The impact of equivalent mutants. Technical report, Saarland University, 2009. Short paper submitted to Mutation 2009: International Workshop on Mutation Analysis.
10. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In M. Young and J. Magee, editors, ICSE '02: Proceedings of the 24st International Conference on Software Engineering, pages 291-302, Orlando, Florida, 2002.
11. R. Hierons and M. Harman. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability, 9(4):233-262, 1999.
12. W. E. Howden. Weak mutation testing and completeness of test sets. IEEE Transactions on Software Engineering, 8(4):371-379, July 1982.
13. http://asm.objectweb.org/. ASM 2.2.1 GPL, 2008.
14. Y.-S. Ma, J. Offutt, and Y.-R. Kwon. MuJava: a mutation system for Java. In ICSE '06: Proceedings of the 28th International Conference on Software Engineering, pages 827-830, New York, NY, USA, 2006. ACM.
15. S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In ESEC/FSE '03: Proceedings of the 9th European Software Engineering Conference and the 11th International Symposium on Foundations of Software Engineering, pages 287-296, New York, NY, USA, 2003. ACM.
16. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 2nd edition, 1997.
17. A. S. Namin, J. H. Andrews, and D. J. Murdoch. Sufficient mutation operators for measuring test effectiveness. In ICSE '08: Proceedings of the 30th International Conference on Software Engineering, pages 351-360, New York, NY, USA, 2008. ACM.
18. A. J. Offutt and W. M. Craft. Using compiler optimiziation techniques to detect equivalent mutants. Software Testing, Verification, and Reliability, 4:131-154, 1994.
19. A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, and C. Zapf. An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering and Methodology (TOSEM), 5(2):99-118, 1996.
20. A. J. Offutt and J. Pan. Detecting equivalent mutants and the feasible path problem. In COMPASS '96: Proceedings 11th Conference on Computer Assurance, pages 224-236, Gathersburg, MD, 1996.
21. A. J. Offutt and R. H. Untch. Mutation 2000: Uniting the orthogonal, pages 34-44. Kluwer Academic Publishers, Norwell, MA, USA, 2001.
22. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP '05: Procceedings of the 9th European Conference on Object-Oriented Programming, pages 504-527, Glasgow, Scotland, 2005.
23. S. Person, M. B. Dwyer, S. Elbaum, and C. S. Pasareanu. Differential symbolic execution. In FSE 08: Proceedings of the 16th International Symposium on the Foundations of Software Engineering, Atlanta, Georgia, 2008.
24. B. G. Ryder and F. Tip. Change impact analysis for object-oriented programs. In PASTE '01: Proceedings of the 3rd Workshop on Program Analysis for Software Tools and Engineering, pages 46-53, New York, NY, USA, 2001. ACM.
25. R. Sosific and D. A. Abramson. Guard: A relative debugger. Software Practice and Experience, 27(2):185-206, Feb. 1997.
26. 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, pages 139-148, New York, NY, USA, 1993. ACM.
27. P. J. Walsh. A measure of test case completeness (software, engineering). PhD thesis, State University of New York at Binghamton, Binghamton, NY, USA, 1985.