Towards automating the generation of mutation tests

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2010, Pages 111-118

  Papadakis, Mike ^a   Malevris, Nicos ^a   Kallia, Maria ^a  

^a ATHENS UNIVERSITY OF ECONOMICS AND BUSINESS   (Greece)

Author keywords

Automated test case generation; Concolic execution; Genetic algorithms; Mutation testing; Symbolic execution

Indexed keywords

AUTOMATED TEST CASE GENERATION; AUTOMATED TEST DATA GENERATION; AUTOMATED TOOLS; BRANCH TESTING; CONCOLIC EXECUTION; DIVERSE TECHNIQUES; EVOLUTIONARY TESTING; JAVA PROGRAM; MUTATION TESTING; SOFTWARE DEVELOPMENT; SYMBOLIC EXECUTION; TEST DATA; TEST GENERATIONS; TEST INPUTS;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; GENETIC ALGORITHMS; JAVA PROGRAMMING LANGUAGE; SOFTWARE DESIGN; TEST FACILITIES; TESTING;

SOFTWARE TESTING;

EID: 77954949357     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1808266.1808283     Document Type: Conference Paper

References (30)

1. P. Ammann and J. Offutt, "Introduction to Software Testing", Cambridge University Press http://ise.gmu.edu/∼offutt/softwaretest/.
2. J. H. Andrews, L. C. Briand, and Y. Labiche, "Is Mutation an Appropriate Tool for Testing Exeperiments?", In Proceedings of the International Conference on Software Engineering, pages 402-411, 2005.
3. K. Ayari, S. Bouktif, and G. Antoniol, "Automatic mutation test input data generation via ant colony", In Proceedings of the annual conference on Genetic and Evolutionary COmputation, pages 1074-1081, 2007.
4. L. Bottaci, "A genetic algorithm fitness function for mutation testing", In Proceedings of the Software Engineering using Metaheuristic INovative Algortithms workshop, pages 3-7, 2001.
5. 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 the 2nd workshop on Software Testing, Analysis and Verification, pages142-151, 1988.
6. R. A. Demilo, R. J. Lipton, and F. D. Sayward, "Hints on test data selection: Help for the practicing programmer", IEEE Computer, 11(4):34-41, 1978.
7. R. A. Demilo and A. J. Offutt, "Constraint-Based Automatic Test Data Generation", IEEE Transactions on Software Engineering, 17(9):900-910, 1991.
8. R. G. Hamlet, "Testing program with the aid of a compiler", IEEE Transactions on Software Engineering, 3(4):279-290, 1977.
9. M. Harman and P. McMinn, "A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation", In Proceedings of the International Symposium on Software Testing and Analysis, pages 73-83, 2007.
10. W. E. Howden, "Weak mutation testing and completeness of test sets", IEEE Transactions on Software Engineering, 8(4):371-379, 1982.
11. K. Inkumsah and T. Xie, "Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution", In Proceedings of Automated Software Engineering Conference, pages 297-306, 2008.
12. J.C. King, "Symbolic execution and program testing", Communications of the ACM, 19(7):38-94, 1976.
13. B. Korel, "Automated software test data generation", IEEE Transactions on Software Engineering, 16(8):870-879, 1990. (Pubitemid 20738724)
14. C. Koutsikas and N. Malevris, "A Unified Symbolic Execution System", In Proceedings of the International Conference on Computer Systems and Applications, pages 466-469, 2001.
15. Y.-S. Ma, J. Offutt, and Y.-R. Kwon, "Mujava: An automated class mutation system", Software Testing, Verification and Reliability, 15(2):97-133, 2005.
16. M. Mastorantonakis and N. Malevris, "An Effective Metrod for Mutating JAVA Programs" In Proceedings of the International Conference on Software Engineering and Applications, 2003.
17. A. J. Offutt, Z. Jin and J. Pan, "The dynamic domain reduction approach to test data generation", Software: Practice and Experience, 29(2):167-193, 1999.
18. A. J. Offutt and D. S. Lee, "An Empirical Evaluation of Weak Mutation", IEEE Transactions on Software Engineering, 20(5):337-344, 1994.
19. A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, C. Zapf "An experimental Determination of Sufficient Mutation Operators", ACM Transactions on Software Engineering and Methodology, 5(2):99-118, 1996.
20. A. J. Offutt and R. H. Untch, "Mutation 2000: Uniting the Orthogonal", In Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, pages 45-55, 2000.
21. M. Papadakis and N. Malevris, "An Effective Path Selection Strategy for Mutation Testing", In Proceedings of Asia- Pacific Software Engineering Conference, pages 422-429, 2009.
22. M. Papadakis and N. Malevris, "Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution", AIAI 2009 Artificial Intelligence Techniques in Software Engineering Workshop, pages 201-210, 2009.
23. C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy-Burlet, M. Lowry, S. Person, and M. Pape, "Combining unitlevel symbolic execution and system-level concrete execution for testing NASA software", In Proceedings of the International Symposium on Software Testing and Analysis, pages 15-25, 2008.
24. M. Polo, M. Piattini, I.G. Rodriguez, "Decreasing the cost of mutation testing with second-order mutants", Software Testing, Verification and Reliability, 19(2):111-131, 2009.
25. D. Schuler, V. Dallmeier, and A. Zeller, "Efficient mutation testing by checking invariant violations". In Proceedings of the International Symposium on Software Testing and Analysis, pages 69-80, 2009.
26. K. Sen, D. Marinov, and G. Agha, "Cute: a concolic unit testing engine for C", In Proceedings of the International Symposium on Foundations of Software Engineering, pages 263-272, 2005.
27. P. Tonella, "Evolutionary testing of classes", In Proceedings of the International Symposium on Software Testing and Analysis, pages 119-128, 2004.
28. R. Untch, J. Offutt and M. J. Harrold, "Mutation analysis using mutant schemata", In Proceedings of the International Symposium on Software Testing and Analysis, pages 139-148, 1993.
29. W. Visser, C. S. Pasareanu, and S. Khurshid. "Test input generation with Java PathFinder", In Proceedings of the International Symposium on Software Testing and Analysis, pages 97-107, 2004.
30. D. F. Yates and N. Malevris, "Reducing the effects of infeasible paths in branch testing", ACM Software Engineering Notes, 14(8):48-54, 1989.