An effective path selection strategy for mutation testing

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2009, Pages 422-429

  Papadakis, Mike ^a   Malevris, Nicos ^a  

^a UNIVERSITY OF ATHENS   (Greece)

Author keywords

Adequacy criterion; Infeasible paths; Mutation testing; Path testing; Software testing; Unit testing

Indexed keywords

ADEQUACY CRITERION; INFEASIBLE PATHS; MUTATION TESTING; PATH TESTING; UNIT TESTING;

SOFTWARE ENGINEERING; SOFTWARE TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 76449120050     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2009.68     Document Type: Conference Paper

References (22)

1. R. G. Hamlet, "Testing program with the aid of a compiler", IEEE Trans. Softw. Eng., vol. 3, 1977, pp. 279-290.
2. R. A. Demilo, R. J. Lipton, and F. D. Sayward, "Hints on test data selection: Help for the practicing programmer", IEEE Computer, vol. 11, 1978, pp. 34-41.
3. A. J. Offutt, R. H. Untch, "Mutation 2000: Uniting the Orthogonal", In Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, October 2000, pp. 45-55.
4. R. A. Demilo and A. J. Offutt, "Constraint-Based Automatic Test Data Generation" IEEE Trans. Softw., Eng., vol. 17, 1991, pp. 900-910.
5. A. J. Offutt, Z. Jin and J. Pan, "The dynamic domain reduction approach to test data generation", Softw. Pract. Exper., vol. 29, 1999, pp. 167-193.
6. A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, C. Zapf "An experimental Determination of Sufficient Mutation Operators", ACM Trans. Software Eng. Method. vol. 5, 1996 pp. 99-118.
7. D. F. Yates, N. Malevris, "Reducing the effects of infeasible paths in branch testing", ACM SIGSOFT Software Engineering Notes, vol. 14, 1989, pp. 48-54.
8. N. Malevris, D. F. Yates, "The Collateral Coverage of data flow criteria when branch testing", J. of Information & Software Technology, vol. 48, 2006, pp. 676-686.
9. D. F. Yates, N. Malevris, "An objective comparison of the cost effectiveness of three testing methods", J. of Information & Software Technology, vol. 49, 2007, pp. 1045-1060.
10. A. J. Offutt and J. Pan, "Detecting equivalent mutants and the feasible path problem", Softw. Test., Verif. Reliab., vol. 7, 1997, pp. 165-192.
11. A. J. Offutt and D. S. Lee, "An Empirical Evaluation of Weak Mutation", IEEE Trans. Software Eng., vol. 20, 1994, pp. 337-344.
12. H. N. Gabow, S. N. Maheshwari, and L. J. Osterweil, "On two problems in the generation of program test paths", IEEE Trans. on Softw. Eng., vol. SE-2, 1976, pp. 227-231.
13. D. F. Yates and M. A. Hennell, "An approach to branch testing" In: 11th Workshop on Graph Theoretic Techniques in Computer Science, Wurtzburg, West Germany 1985, pp. 42-433.
14. C. Meudec, "ATGen: Automatic Test Data Generation using Constraint Logic Programming and Symbolic Execution", J. Software Testing, Verification and Reliability, vol. 11, 2001, pp.81-96.
15. P.D. Coward and D. Ince, "The symbolic execution of software: The SYM-BOL system", 1995, London: Chapman & Hall.
16. R. A. DeMillo, D. S. Guindi, W. M. McCracken, A. J. Offutt, K. N. King, "An extended overview of the Mothra software testing environment", In proceedings of Symposium on Software Testing, Analysis and Verification 2, July 1988, pp.142-151.
17. J.C. King, "Symbolic execution and program testing", Comm. ACM vol. 19, 1976, pp. 38-94.
18. A. A. Sofokleous, A. S. Andreou, "Automatic, evolutionary test data generation for dynamic software testing", J. of Systems and Software, vol. 81, 2008, pp. 1883-1898.
19. M. Papadakis and N. Malevris, "Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution", AIAI 2009 2nd Artificial Intelligence Techniques in Software Engineering Workshop (AISEW 09), April 2009.
20. M. Polo, M. Piattini, I.G. Rodriguez, "Decreasing the cost of mutation testing with second-order mutants" J of Software Testing, Verification, and Reliability, vol. 19, 2009, pp. 111-131.
21. D. Schuler, V. Dallmeier, and A. Zeller, "Efficient mutation testing by checking invariant violations". In Proceedings of the Eighteenth international Symposium on Software Testing and Analysis (ISSTA '09), July 2009, pp. 69-80.
22. th International Conference on Software Engineering (ICSE 05), May 2005. pp. 402-411.