Model-based mutation testing via symbolic refinement checking

Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	383-404
Number of pages	22
Journal	Science of Computer Programming
Volume	4
Issue number	97
Publication status	Published - 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",

number = "97",

}