Model-Based Mutation Testing via Symbolic Refinement Checking

Bernhard Aichernig, Elisabeth Jöbstl, Stefan Tiran

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)383-404
JournalScience of computer programming
Volume97, Part 4
Publication statusPublished - 2015

Fields of Expertise

  • Information, Communication & Computing

Cite this

Model-Based Mutation Testing via Symbolic Refinement Checking. / Aichernig, Bernhard; Jöbstl, Elisabeth; Tiran, Stefan.

In: Science of computer programming, Vol. 97, Part 4, 2015, p. 383-404.

Research output: Contribution to journalArticleResearchpeer-review

Aichernig, Bernhard ; Jöbstl, Elisabeth ; Tiran, Stefan. / Model-Based Mutation Testing via Symbolic Refinement Checking. In: Science of computer programming. 2015 ; Vol. 97, Part 4. pp. 383-404.
@article{953ee7ae6ebe47b6a82270d5f87ad46b,
title = "Model-Based Mutation Testing via Symbolic Refinement Checking",
author = "Bernhard Aichernig and Elisabeth J{\"o}bstl and Stefan Tiran",
note = "Special Issue: Selected Papers from the 12th International Conference on Quality Software (QSIC 2012)",
year = "2015",
language = "English",
volume = "97, Part 4",
pages = "383--404",
journal = "Science of computer programming",
issn = "0167-6423",
publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Model-Based Mutation Testing via Symbolic Refinement Checking

AU - Aichernig, Bernhard

AU - Jöbstl, Elisabeth

AU - Tiran, Stefan

N1 - Special Issue: Selected Papers from the 12th International Conference on Quality Software (QSIC 2012)

PY - 2015

Y1 - 2015

UR - http://www.journals.elsevier.com/science-of-computer-programming

M3 - Article

VL - 97, Part 4

SP - 383

EP - 404

JO - Science of computer programming

JF - Science of computer programming

SN - 0167-6423

ER -