An Empirical Evaluation of Weak Mutation

IEEE Transactions on Software Engineering

Volumn 20, Issue 5, 1994, Pages 337-344

  Lee, Stephen D ^b  

^a GEORGE MASON UNIVERSITY   (United States)

^b IBM   (United States)

Author keywords

Fault based testing; firm mutation; mutation; software testing; testing; weak mutation

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; SOFTWARE ENGINEERING; SUBROUTINES; SYSTEMS ANALYSIS; TERMINOLOGY;

COMPUTER PROGRAM; FAULT BASED TESTING; FIRM MUTATION; FUNCTIONS (COMPUTER SOFTWARE); MUTATION TESTING; SOFTWARE TESTING; WEAK MUTATION;

PROGRAM DEBUGGING;

EID: 0028438845     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.286422     Document Type: Article

References (31)

1. A. T. Acree, “On mutation,” Ph.D. dissertation, Ga. Inst. of Technol., Atlanta GA, 1980.
2. A. T. Acree, T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayword, “Mutation analysis,” Tech. Rep. GIT-ICS-79/08, School of Inform. and Comput. Sc., Georgia Inst. of Technol., Atlanta GA, Sept. 1979.
3. B. Choi and A. P. Mathur, “High performance mutation testing,” J. Syst. Software, vol. 20, pp. 135–152, Feb. 1993.
4. 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 Proc. 2nd Workshop on Software Testing, Verification, and Analysis, 1988, pp. 142–151.
5. R. A. DeMillo, E. W. Krauser, and A. P. Mathur, “Compiler-integrated program mutation,” in Proc. 15th Ann. Comput. Software and Applications Conf, Kogakuin Univ., Tokyo, Japan, Sept. 1991.
6. R. A. Demillo, R. J. Lipton, and F. G. Sayward, “Hints on test data selection: Help for the practicing programmer,” IEEE Comput., vol. 11, no. 4, pp. 34–41, Apr. 1978.
7. R. A. DeMillo and A. J. Offutt, “Constraint-based automatic test data generation,” IEEE Trans. Software Eng., vol. 17, pp. 900–910, Sept. 1991.
8. K. Foster, “Error sensitive test case analysis,” IEEE Trans. Software Eng., vol. 6, no. 3, pp. 258–264, May 1980.
9. M. R. Girgis and M. R. Woodward, “An integrated system for program testing using weak mutation and data flow analysis,” in Proc. 8th Int. Conf. Software Eng., 1985, pp. 313–319.
10. R. G. Hamlet, “Testing programs with the aid of a compiler,” IEEE Trans. Software Eng., vol. 3, no. 4, July 1977.
11. J. R. Horgan and A. P. Mathur, “Weak mutation is probably strong mutation,” Tech. Rep. SERC-TR-83-P, Software Eng. Res. Center, Purdue Univ., W. Laffayette, IN, Dec. 1990.
12. W. E. Howden, “Algebraic program testing,” Acta Informatica, vol. 10, no. 1, pp. 53–66, 1978.
13. W. E. Howden, “Weak mutation testing and completeness of test sets,” IEEE Trans. Software Eng.„ vol. 8, no. 4, pp. 371–379, July 1982.
14. W. E. Howden, Functional Programming Testing and Analysis. New York: McGraw-Hill, 1987.
15. K. N. King and A. J. Offutt, “A Fortran language system for mutation-based based software testing,” Software: Practice and Experience, vol. 21, pp. 685–718, July 1991.
16. E. W. Krauser, A. P. Mathur, and V. Rego, “High performance testing on SIMD machines,” in Proc. 2nd Workshop on Software Testing, Verification and Analysis, 1988, pp. 171–177.
17. E. W. Krauser and A. P. Mathur, “Program testing on a massively parallel transputer based system,” in Proc. ISMM Int. Symp. Mini and Microcomputers and Their Applications, 1986, pp. 67–71.
18. S. Lee, “Weak vs. strong: An empirical comparison of mutation variants,” M.S. thesis, Dept. of Comput. Sci., Clemson Univ., Clemson SC, 1991.
19. B. Marick, “The weak mutation hypothesis,” in Proc. 3rd Symp. Software Testing, Analysis and Verification, 1991, pp. 190–199.
20. B. Marick, Using Weak Mutation with GCT. Champaign, IL: Testing Foundations, 1993.
21. A. P. Mathur and E. W. Krauser, “Modeling mutation on a vector processor,” in Proc. 10th Int. Conf. Software Eng., 1988, pp. 154–161.
22. L. J. Morell, “A theory of error-based testing,” Ph.D. dissertation, Tech. Rep. TR-1395, Univ. of Md., College Park, MD, 1984.
23. L. J. Morell, “A theory of fault-based testing,” IEEE Trans. Software Eng., vol. 16, pp. 844–857, Aug. 1990.
24. A. J. Offutt, “Automatic test data generation,” Ph.D. dissertation, Tech. Rep. GIT-ICS 88/28, Georgia Inst. of Technol., Altanta GA, 1988 (also released as Purdue Univ. Software Eng. Research Center Tech. Rep. SERC-TR-25-P).
25. A. J. Offutt, “Investigations of the software testing coupling effect,” ACM Trans. Software Eng. Methodology, vol. 1, pp. 3–18, Jan. 1992.
26. A. J. Offutt, A. Lee, G. Rothermel, R. Untch, and C. Zapf, “An experimental determination of sufficient mutation operators,” Tech. Rep. ISSE—TR-94-100, Dept. of Inform. and Software Syst. Eng., George Mason Univ., Fairfax VA, 1994.
27. A. J. Offutt, R. Pargas, S. V. Fichter, and P. Khambekar, “Mutation testing of software using a MIMD computer,” in 1992 Int, Conf Parallel Processing, 1992, vol. II, pp. 257–266.
28. A. J. Offutt, G. Rothermel, and C. Zapf, “An experimental evaluation of selective mutation,” in Proc. 15th Int. Conf. Software Eng., 1993, pp. 100–107.
29. D. J. Richardson and M. C. Thompson, “The relay model for error detection and its application,” in Proc. 2nd Workshop on Software Testing, Verification, and Analysis, 1988, pp. 223–230.
30. R. Untch, A. J. Offutt, and M. J. Harrold, “Mutation analysis using program schemata,” in Proc. 1993 Int. Symp. Software Testing and Analysis, 1993, pp. 139–148.
31. M. R. Woodward and K. Halewood, “From weak to strong, dead or alive? A n analysis of some mutation testing issues,” in Proc. 2nd Workshop on Software Testing, Verification, and Analysis, 1988, pp. 152–158.