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žené v:

Podrobná bibliografia
Vydané v:	Information and software technology Ročník 68; s. 1 - 17
Hlavní autori:	Kintis, Marinos, Malevris, Nicos
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 01.12.2015 Elsevier Science Ltd
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!