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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Information and software technology Jg. 68; S. 1 - 17
Hauptverfasser:	Kintis, Marinos, Malevris, Nicos
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 01.12.2015 Elsevier Science Ltd
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!