Model-based mutation testing via symbolic refinement checking

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	383-404
Seitenumfang	22
Fachzeitschrift	Science of Computer Programming
Volume	4
Issue	97
Publikationsstatus	Veröffentlicht - 2014

Research Field

@article{46bf8f49abed419a9e97b29cd27ae316,

title = "Model-based mutation testing via symbolic refinement checking",

author = "Aichernig, \{Bernhard K.\} and Elisabeth J{\"o}bstl and Stefan Tiran",

year = "2014",

language = "English",

volume = "4",

pages = "383--404",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier BV",

number = "97",

}