Automatically detecting equivalent mutants and infeasible paths

Software Testing Verification and Reliability

Volumn 7, Issue 3, 1997, Pages 165-192

  Offutt, A Jefferson ^a   Pan, Jie ^b  

^a GEORGE MASON UNIVERSITY   (United States)

^b Template Software   (United States)

Author keywords

Constraints; Feasible path analysis; Mutation testing; Software testing

Indexed keywords

CONSTRAINT THEORY;

FEASIBLE PATH ANALYSIS; MUTATION TESTING SYSTEMS; SEMANTICS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0031222042     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U     Document Type: Article

References (24)

1. Acree, A. T. (1980) On mutation', Ph.D. thesis, Georgia Institute of Technology, Atlanta, Georgia, U.S.A.
2. Budd, T. A. and Angluin, D. (1982) 'Two notions of correctness and their relation to testing', Acta Informatica, 18(1), 31-45.
3. Baldwin, D. and Say ward, F. (1979) 'Heuristics for determining equivalence of program mutations', Research report 276, Department of Computer Science, Yale University, New Haven, Connecticut, U.S.A.
4. Budd, T. A. (1980) 'Mutation analysis of program test data', Ph.D. thesis, Yale University, New Haven, Connecticut, U.S.A.
5. DeMillo, R. A., Guindi, D. S., King, K. N., McCracken, W. M. and Offutt, A. J. (1988) 'An extended overview of the Mothra software testing environment', Proceedings of the Second Workshop on Software Testing, Verification and Analysis, Banff, Alberta, Canada, July, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 142-151.
6. DeMillo, R. A., Lipton, R.J. and Say ward, F.G. (1978) 'Hints on test data selection: Help for the practicing programmer', IEEE Computer, 11(4), 34-41.
7. DeMillo, R. A. and Offutt, A. J. (1991) 'Constraint-based automatic test data generation', IEEE Transactions on Software Engineering, 17(9), 900-910.
8. Fischer, C. N. and Leblanc, R. J. (1988) Crofting a Compiler, Benjamin/Cummings, Menlo Park, California, U.S.A.
9. Frankl, P. G. and Weyuker, E. J. (1988) 'An applicable family of data flow testing criteria', IEEE Transactions on Software Engineering, 14(10), 1483-1498.
10. Goldberg, A., Wang, T. C. and Zimmerman, D. (1994) 'Applications of feasible path analysis to program testing', Proceedings of the 1994 International Symposium on Software Testing and Analysis, Seattle, Washington, U.S.A., August, ACM Press, New York, U.S.A., pp. 80-94.
11. Hamlet, R. G. (1977) Testing programs with the aid of a compiler', IEEE Transactions on Software Engineering, 3(4), 279-290.
12. Howden, W. E. (1982) 'Weak mutation testing and completeness of test sets', IEEE Transactions on Software Engineering, 8(4), 371-379.
13. Jasper, R., Brennan, M., Williamson, K., Currier, B. and Zimmerman, D. (1994) 'Test data generation and feasible path analysis', Proceedings of the 1994 International Symposium on Software Testing and Analysis, Seattle, Washington, U.S.A., August, ACM Press, New York, U.S.A., pp. 95-107.
14. King, J. C. (1976) 'Symbolic execution and program testing'. Communications of the ACM, 19(7), 385-394.
15. Morell, L. J. (1990) 'A theory of fault-based testing', IEEE Transactions on Software Engineering, 16(8), 844-857.
16. Myers, G. (1979) The Art of Software Testing, Wiley, New York, U.S.A.
17. Offutt, A. J. and Craft, W. M. (1994) 'Using compiler optimization techniques to detect equivalent mutants', Software Testing, Verification and Reliability, 4(3), 131-154.
18. Offutt, A. J. (1988) 'Automatic test data generation', Ph.D. thesis, Georgia Institute of Technology, Atlanta, Georgia, U.S.A., Technical Report GIT-ICS 88/28.
19. Offutt, A. J. (1991) 'An integrated automatic test data generation system', Journal of Systems Integration, 1(3), 391-409.
20. Offutt, J., Jin, Z. and Pan, J. (1994) 'The dynamic domain reduction approach for test data generation: design and algorithms', Department of Information and Software Systems Engineering, George Mason University, Fairfax, Virginia, U.S.A., September, Technical Report ISSE-TR-94-110.
21. Offutt, A. J., Lee, A., Rothermel, G., Untch, R. and Zapf, C. (1996) 'An experimental determination of sufficient mutation operators', ACM Transactions on Software Engineering Methodology, 5(2), 99-118.
22. Untch, R., Offutt, A. J. and Harrold, M. J. (1993) 'Mutation analysis using program schemata', Proceedings of the 1993 International Symposium on Software Testing and Analysis, Cambridge, Massachusetts, U.S.A., June, ACM Press, New York, U.S.A., pp. 139-148.
23. Voas, J. M., Morell, L. and Miller, K. W. (1991) 'Predicting where faults can hide from testing', IEEE Software, 8(2), 41-58.
24. Weiser, M. (1984) 'Program slicing', IEEE Transactions on Software Engineering, 10(4), 352-357.