The class-level mutants of MuJava

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 78-84

  Offutt, Jeff ^a   Ma, Yu Seung ^b   Kwon, Yong Rae ^c  

^a GEORGE MASON UNIVERSITY   (United States)

^b Embedded Software Research   (South Korea)

^c Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED ANALYSIS; AUTOMATED TOOLS; CLASS LEVEL; CLASS MUTATION OPERATORS; CLASS TESTING; DYNAMIC BINDING; EMPIRICAL STUDIES; MUTATION OPERATORS; OBJECT ORIENTED; OPEN-SOURCE PROGRAM; PROGRAMMING LANGUAGE;

AUTOMATION; COMPUTER SOFTWARE;

EQUIVALENCE CLASSES;

EID: 77953564688     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138929.1138945     Document Type: Conference Paper

References (21)

1. J. H. Andrews, L. C. Briand, and Y. Labiche. Is mutation an appropriate tool for testing experiments? In A. Press, editor, Proc. of the 27th International Conference on Software Engineering, pages 402-411, St. Louis, MO, USA, May 2005. ACM Press. SESSION: Empirical evaluation of testing.
2. D. Baldwin and F. Sayward. Heuristics for determining equivalence of program mutations. Technical Report 161, Yale University, Dept. of Computer Science, 1979.
3. R. V. Binder. Testing object-oriented software: A survey. Software Testing, Verification and Reliability, 6(3/4):125-252, 1996.
4. T. A. Budd and D. Angluin. Two notions of correctness and their relation to testing. Acta Informatica, 18:31-45, November 1982.
5. P. Chevalley. Applying mutation analysis for object-oriented programs using a reflective approach. In Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), pages 267-270, Macau SAR, China, December 2001. IEEE Computer Society.
6. P. Chevalley and P. Thévenod-Fosse. A mutation analysis tool for Java programs. Journal on Software Tools for Technology Transfer (STTT), pages 1-14, December 2002.
7. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978.
8. R. A. DeMillo and A. J. Offutt. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 17(9):900-910, September 1991.
9. 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(3):235-253, September 1997.
10. L. Gallagher and J. Offutt. Integration testing of object-oriented components using finite state machines. Software Testing, Verification, and Reliability, 2006. Accepted for publication.
11. R. M. Hierons, M. Harman, and S. Danicic. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability, 9(4):233-262, December 1999.
12. S. Kim, J. Clark, and J. McDermid. Class mutation: Mutation testing for object-oriented programs. In Net. ObjectDays Conference on Object-Oriented Software Systems, October 2000.
13. Y. S. Ma, Y. R. Kwon, and J. Offutt. Inter-class mutation operators for Java. In 13th International Symposium on Software Reliability Engineering, pages 352-363, Annapolis MD, November 2002. IEEE Computer Society Press.
14. Y. S. Ma, A. J. Offutt, and Y. R. Kwon. MuJava: An automated class mutation system. Software Testing, Verification and Reliability, 15(2):97-133, June 2005.
15. Y.-S. Ma, J. Offutt, and Y.-R. Kwon. MuJava home page. online, 2005. http://ise.gmu.edu/~offutt/mujava/, http://salmosa.kaist.ac.kr/LAB/MuJava/, last access November 2005.
16. A. J. Offutt and W. M. Craft. Using compiler optimization techniques to detect equivalent mutants. Software Testing, Verification, and Reliability, 4(3):131-54, September 1994.
17. A. J. Offutt, A. Lee, G. Rothermel, R. Untch, and C. Zapf. An experimental determination of sufficient mutation operators. ACM Transactions on Software Engineering Methodology, 5(2):99-118, April 1996.
18. A. J. Offutt and J. Pan. Detecting equivalent mutants and the feasible path problem. Software Testing, Verification, and Reliability, 7(3):165-192, September 1997.
19. A. J. Offutt, J. Pan, K. Tewary, and T. Zhang. An experimental evaluation of data flow and mutation testing. Software-Practice and Experience, 26(2):165-176, February 1996.
20. J. Offutt, R. Alexander, Y. Wu, Q. Xiao, and C. Hutchinson. A fault model for subtype inheritance and polymorphism. In Proceedings of the 12th International Symposium on Software Reliability Engineering, pages 84-93, Hong Kong China, November 2001. IEEE Computer Society Press.
21. J. Offutt, Z. Jin, and J. Pan. The dynamic domain reduction approach to test data generation. Software-Practice and Experience, 29(2):167-193, January 1999.