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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Information and software technology Ročník 68; s. 1 - 17
Hlavní autoři:	Kintis, Marinos, Malevris, Nicos
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.12.2015 Elsevier Science Ltd
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!