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

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	716-748
Fachzeitschrift	Software Testing, Verification and Reliability
Jahrgang	25
Ausgabenummer	8
DOIs	https://doi.org/10.1002/stvr.1522
Publikationsstatus	Veröffentlicht - 2015

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

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/10/14
Projekt: Forschungsprojekt
TRUFAL - [Original in Englisch: Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation]
Jöbstl, E. & Aichernig, B.
1/03/11 → 30/06/14
Projekt: Forschungsprojekt
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Projekt: Forschungsprojekt

Dieses zitieren

@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

Zugriff auf Dokument

Projekte

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

TRUFAL - [Original in Englisch: 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

Dieses zitieren