Model-Based Mutation Testing of Hybrid Systems

Bernhard Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn

doi:10.1007/978-3-642-17071-3_12

Model-Based Mutation Testing of Hybrid Systems

Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	Formal Methods for Components and Objects
Publisher	.
Pages	228-249
DOIs	https://doi.org/10.1007/978-3-642-17071-3_12
Publication status	Published - 2010
Event	International Symposium on Formal Methods for Components and Objects - Eindhoven, Netherlands Duration: 4 Nov 2009 → 6 Nov 2009

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	International Symposium on Formal Methods for Components and Objects
Country/Territory	Netherlands
City	Eindhoven
Period	4/11/09 → 6/11/09

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Experimental
Theoretical

Access to Document

10.1007/978-3-642-17071-3_12

Cite this

@inproceedings{2d693b770c8f4cd290ae563e8a0e0c3c,

title = "Model-Based Mutation Testing of Hybrid Systems",

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

year = "2010",

doi = "10.1007/978-3-642-17071-3_12",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = ".",

pages = "228--249",

booktitle = "Formal Methods for Components and Objects",

note = "International Symposium on Formal Methods for Components and Objects ; Conference date: 04-11-2009 Through 06-11-2009",

}

TY - GEN

T1 - Model-Based Mutation Testing of Hybrid Systems

AU - Aichernig, Bernhard

AU - Brandl, Harald

AU - Jöbstl, Elisabeth

AU - Krenn, Willibald

PY - 2010

Y1 - 2010

UR - http://dx.doi.org/10.1007/978-3-642-17071-3_12

U2 - 10.1007/978-3-642-17071-3_12

DO - 10.1007/978-3-642-17071-3_12

M3 - Conference paper

T3 - Lecture Notes in Computer Science

SP - 228

EP - 249

BT - Formal Methods for Components and Objects

PB - .

T2 - International Symposium on Formal Methods for Components and Objects

Y2 - 4 November 2009 through 6 November 2009

ER -

Model-Based Mutation Testing of Hybrid Systems

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

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

Cite this

Model-Based Mutation Testing of Hybrid Systems

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

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

Cite this