Effective methods to tackle the equivalent mutant problem when testing software with mutation

作者: Marinos Kintis , Μαρίνος Κιντής

DOI:

关键词:

摘要:

参考文章(115)
Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons, How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution genetic and evolutionary computation conference. pp. 1338- 1349 ,(2004) , 10.1007/978-3-540-24855-2_155
Nicos Malevris, Marinos Kintis, Mike Papadakis, MUTATION TESTING STRATEGIES - A Collateral Approach international conference on software and data technologies. pp. 325- 328 ,(2010)
Marinos Kintis, Nicos Malevris, MEDIC: A static analysis framework for equivalent mutant identification Information & Software Technology. ,vol. 68, pp. 1- 17 ,(2015) , 10.1016/J.INFSOF.2015.07.009
Sebastien Bardin, Mickael Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion, Sound and Quasi-Complete Detection of Infeasible Test Requirements international conference on software testing verification and validation. pp. 1- 10 ,(2015) , 10.1109/ICST.2015.7102607
Timothy Alan Budd, Mutation analysis of program test data Yale University. ,(1980)
Hinrich Schütze, Christopher D. Manning, Prabhakar Raghavan, Introduction to Information Retrieval ,(2005)
Douglas Baldwin, Frederick Sayward, Heuristics for Determining Equivalence of Program Mutations. Defense Technical Information Center. ,(1979) , 10.21236/ADA071795
David Schuler, Andreas Zeller, Covering and Uncovering Equivalent Mutants Software Testing, Verification and Reliability. ,vol. 23, pp. 353- 374 ,(2013) , 10.1002/STVR.1473
Rafael A.P. Oliveira, Emil Alegroth, Zebao Gao, Atif Memon, Definition and evaluation of mutation operators for GUI-level mutation analysis international conference on software testing verification and validation workshops. pp. 1- 10 ,(2015) , 10.1109/ICSTW.2015.7107457
Franz Wotawa, Simona Nica, EqMutDetect — A tool for equivalent mutant detection in embedded systems workshop on intelligent solutions in embedded systems. pp. 57- 62 ,(2012)