Bayesian-learning based guidelines to determine equivalent mutants

International Journal of Software Engineering and Knowledge Engineering

Volumn 12, Issue 6, 2002, Pages 675-689

  Rizzo Vincenzi, Auri Marcelo ^a   Nakagawa, Elisa Yumi ^a   Maldonado, José Carlos ^a   Delamaro, Márcio Eduardo ^b   Romero, Roseli Aparecida Francelin ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b University Eurípides Soares da Rocha   (Brazil)

Author keywords

Bayesian learning; Mutation testing; Program equivalence analysis

Indexed keywords

ARTIFICIAL INTELLIGENCE; C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; LEARNING ALGORITHMS; LEARNING SYSTEMS; PROBABILITY DISTRIBUTIONS; PROGRAM DIAGNOSTICS; UNIX;

BAYESIAN LEARNING; EQUIVALENT DETECTION; EQUIVALENT MUTANTS; MUTATION TESTING; PROGRAM EQUIVALENCE ANALYSIS; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

EID: 0036966756     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021819400200113X     Document Type: Article

References (24)

1. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, 1996.
2. E. F. Barbosa, J. C. Maldonado, and A. M. R. Vincenzi, "Towards the determination of sufficient mutant operators for C", Software Testing, Verification and Reliability 11(2) (2001) 113-136.
3. M. E. Delamaro and J. C. Maldonado, "Proteum - a tool for the assessment of test adequacy for C programs", in Conference on Performability in Computing Systems (PCS '96), Brunswick, NJ, July 1996, pp. 79-95.
4. M. E. Delmaro, J. C. Maldonado, and A. M. R. Vincenzi, "Proteum/IM 2.0: An integrated mutation testing environment", in Mutation 2000 Symposium, San Jose, CA, Oct. 2000, pp. 124-134.
5. R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on test data selection: Help for the practicing programmer", IEEE Computer 11(4) (1978) 34-43.
6. R. A. DeMillo and A. J. Offutt, "Constraint based automatic test data generation", IEEE Trans. on Software Engineering 17(9) (1991) 900-910.
7. R. G. Hamlet, "Testing programs with the aid of a compiler", IEEE Trans. on Software Engineering 3(4) (1977) 279-290.
8. M. Harman and S. Danicic, "Amorphous program slicing", in 5th IEEE Int. Workshop on Program Comprehension (IWPC'97), IEEE Computer Society Press, Dearborn, Michigan, May 1997, pp. 70-79.
9. M. Harman, R. Hierons, and S. Danicic, "The relationship between program dependence and mutation testing", in Mutation 2000 Symposium, San Jose, CA, Oct. 2000, pp. 15-23.
10. 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) (1999) 233-262.
11. W. E. Howden, "Reliability of the path analysis testing strategy", IEEE Trans. on Software Engineering 2(3) (1976) 208-214.
12. T. Mitchell, Machine Learning, McGraw-Hill, New York, 1997.
13. E. Mresa and L. Bottaci, "Efficiency of mutation operators and selective mutation strategies: An empirical study", The Journal of Software Testing, Verification and Reliability 9(4) (1999) 205-232.
14. A. J. Offut and W. M. Craft, "Using compiler optimization techniques to detect equivalent mutants", Software Testing, Verification and Reliability 4 (1994) 131-154.
15. A. J. Offutt, Z. Jin, and J. Pan, "The dynamic domain reduction approach to test data generation", Software Practice and Experience 29(2) (1999) 167-193.
16. 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 Methodology 5(2) (1996) 99-118.
17. A. J. Offutt and J. Pan, "Detecting equivalent mutants and the feasible path problem", in COMPASS'96 - in Annual Conference on Computer Assurance, IEEE Computer Society Press, Gaithersburg, MD, June 1996, pp. 224-236.
18. A. J. Offutt and J. Pan, "Automatically detecting equivalent mutants and infeasible paths", Software Testing, Verification and Reliability 7(3) (1997) 165-192.
19. A. J. Offutt, G. Rothermel, and C. Zapf, "An experimental evaluation of selective mutation", in 15th Int. Conf. on Software Engineering, Baltimore, MD, May 1993, pp. 100-107.
20. S. Rapps and E. J. Weyuker, "Selecting software test data using data flow information", IEEE Transactions on Software Engineering 11(4) (1985) 367-375.
21. S. J. Russell and P. Norving, Artificial Intelligence: A Modern Approach, Prentice-Hall, New Jersey, 1995.
22. A. M. R. Vincenzi, J. C. Maldonado, E. F. Barbosa and M. E. Delamaro, "Unit and integration testing strategies for C programs using mutation-based criteria", Software Testing, Verification and Reliability 11(4) (2001) 249-268.
23. W. E. Wong, On Mutation and Data Flow, Ph.D. thesis, Department of Computer Science, Purdue University, W. Lafayette, IN, Dec. 1993.
24. W. E. Wong, A. P. Mathur, and J. C. Maldonado, "Mutation versus all-uses: An empirical evaluation of cost, strength, and effectiveness", in Int. Conf. on Software Quality and Productivity, Hong Kong, Dec. 1994, pp. 258-265.