MEDIC: A static analysis framework for equivalent mutant identification

• Published in: Information and software technology Vol. 68; pp. 1 - 17
• Main Authors: Kintis, Marinos, Malevris, Nicos
• Format: Journal Article
• Language: English
• Published: Amsterdam Elsevier B.V 01.12.2015; Elsevier Science Ltd
• Subjects: Automation; Data analysis; Data flow analysis; Equivalent mutant detection; Genetic testing; Mutation; Mutation testing; Programming languages; Static analysis; Stubborn mutant detection; Studies; Equivalent mutant detection; Stubborn mutant detection; Data flow analysis; Mutation testing; Static analysis

Context: The equivalent mutant problem is a well-known impediment to the adoption of mutation testing in practice. In consequence of its undecidable nature, a complete automated solution is unattainable. To worsen the situation, the manual analysis of the generated mutants of a program under test is...