Model-Based Mutation Testing via Symbolic Refinement Checking

Bernhard Aichernig; Elisabeth Jöbstl; Stefan Tiran

Model-Based Mutation Testing via Symbolic Refinement Checking

Bernhard Aichernig, Elisabeth Jöbstl, Stefan Tiran

Institute of Software Technology (7160)

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

Original language	English
Pages (from-to)	383-404
Journal	Science of Computer Programming
Volume	97, Part 4
Publication status	Published - 2015

Fields of Expertise

Information, Communication & Computing

Cite this

@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 = "1872-7964",

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

SN - 1872-7964

VL - 97, Part 4

SP - 383

EP - 404

JO - Science of Computer Programming

JF - Science of Computer Programming

ER -

Model-Based Mutation Testing via Symbolic Refinement Checking

Fields of Expertise

Other files and links

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation

Cite this

Model-Based Mutation Testing via Symbolic Refinement Checking

Fields of Expertise

Other files and links

Projects

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation

Cite this