Killing strategies for model-based mutation testing

Bernhard Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn; Rupert Schlick; Stefan Tiran

doi:10.1002/stvr.1522

Killing strategies for model-based mutation testing

Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran

Institute of Software Technology (7160)

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

Original language	English
Pages (from-to)	716-748
Journal	Software Testing, Verification and Reliability
Volume	25
Issue number	8
DOIs	https://doi.org/10.1002/stvr.1522
Publication status	Published - 2015

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1002/stvr.1522

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/12/13
Project: Research project
TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. & Aichernig, B.
1/03/11 → 28/02/14
Project: Research project
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Project: Research project

Cite this

@article{251a0394f7b54e41a6064ef821d796a2,

title = "Killing strategies for model-based mutation testing",

author = "Bernhard Aichernig and Harald Brandl and Elisabeth J{\"o}bstl and Willibald Krenn and Rupert Schlick and Stefan Tiran",

year = "2015",

doi = "10.1002/stvr.1522",

language = "English",

volume = "25",

pages = "716--748",

journal = "Software Testing, Verification and Reliability",

issn = "1099-1689",

publisher = "John Wiley and Sons Ltd",

number = "8",

}

TY - JOUR

T1 - Killing strategies for model-based mutation testing

AU - Aichernig, Bernhard

AU - Brandl, Harald

AU - Jöbstl, Elisabeth

AU - Krenn, Willibald

AU - Schlick, Rupert

AU - Tiran, Stefan

PY - 2015

Y1 - 2015

U2 - 10.1002/stvr.1522

DO - 10.1002/stvr.1522

M3 - Article

SN - 1099-1689

VL - 25

SP - 716

EP - 748

JO - Software Testing, Verification and Reliability

JF - Software Testing, Verification and Reliability

IS - 8

ER -

Killing strategies for model-based mutation testing

Fields of Expertise

Access to Document

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

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems

Cite this