Time for Mutants —Model-based Mutation Testing with Timed Automata

Bernhard Aichernig; Florian Lukas Lorber; Dejan Nickovic

doi:10.1007/978-3-642-38916-0_2

Time for Mutants —Model-based Mutation Testing with Timed Automata

Bernhard Aichernig, Florian Lukas Lorber, Dejan Nickovic

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Tests and Proofs
Publisher	Springer
Pages	20-38
ISBN (Print)	978-3-642-38915-3
DOIs	https://doi.org/10.1007/978-3-642-38916-0_2
Publication status	Published - 2013
Event	International Conference on Tests and Proofs: TAP 2013 - Budapest, Hungary Duration: 18 Jun 2013 → 19 Jun 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7942

Conference

Conference	International Conference on Tests and Proofs
Abbreviated title	TAP 2013
Country/Territory	Hungary
City	Budapest
Period	18/06/13 → 19/06/13

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Experimental
Application

Access to Document

10.1007/978-3-642-38916-0_2

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

Cite this

@inproceedings{4fd7074259944ba29b5a90cbcf438c1a,

title = "Time for Mutants —Model-based Mutation Testing with Timed Automata",

author = "Bernhard Aichernig and Lorber, {Florian Lukas} and Dejan Nickovic",

year = "2013",

doi = "10.1007/978-3-642-38916-0_2",

language = "English",

isbn = "978-3-642-38915-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "20--38",

booktitle = "Tests and Proofs",

note = "International Conference on Tests and Proofs : TAP 2013, TAP 2013 ; Conference date: 18-06-2013 Through 19-06-2013",

}

TY - GEN

T1 - Time for Mutants —Model-based Mutation Testing with Timed Automata

AU - Aichernig, Bernhard

AU - Lorber, Florian Lukas

AU - Nickovic, Dejan

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-38916-0_2

DO - 10.1007/978-3-642-38916-0_2

M3 - Conference paper

SN - 978-3-642-38915-3

T3 - Lecture Notes in Computer Science

SP - 20

EP - 38

BT - Tests and Proofs

PB - Springer

T2 - International Conference on Tests and Proofs

Y2 - 18 June 2013 through 19 June 2013

ER -

Time for Mutants —Model-based Mutation Testing with Timed Automata

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

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

Cite this