MEDIC: A static analysis framework for equivalent mutant identification

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...

Full description

Saved in:

Bibliographic Details
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
ISSN:	0950-5849, 1873-6025
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!