Model-Based Mutation Testing of Hybrid Systems

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationFormal Methods for Components and Objects
Publisher.
Pages228-249
DOIs
Publication statusPublished - 2010
EventInternational Symposium on Formal Methods for Components and Objects - Eindhoven, Netherlands
Duration: 4 Nov 20096 Nov 2009

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceInternational Symposium on Formal Methods for Components and Objects
CountryNetherlands
CityEindhoven
Period4/11/096/11/09

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Experimental
  • Theoretical

Cite this

Aichernig, B., Brandl, H., Jöbstl, E., & Krenn, W. (2010). Model-Based Mutation Testing of Hybrid Systems. In Formal Methods for Components and Objects (pp. 228-249). (Lecture Notes in Computer Science). .. https://doi.org/10.1007/978-3-642-17071-3_12

Model-Based Mutation Testing of Hybrid Systems. / Aichernig, Bernhard; Brandl, Harald; Jöbstl, Elisabeth; Krenn, Willibald.

Formal Methods for Components and Objects. ., 2010. p. 228-249 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B, Brandl, H, Jöbstl, E & Krenn, W 2010, Model-Based Mutation Testing of Hybrid Systems. in Formal Methods for Components and Objects. Lecture Notes in Computer Science, ., pp. 228-249, International Symposium on Formal Methods for Components and Objects, Eindhoven, Netherlands, 4/11/09. https://doi.org/10.1007/978-3-642-17071-3_12
Aichernig B, Brandl H, Jöbstl E, Krenn W. Model-Based Mutation Testing of Hybrid Systems. In Formal Methods for Components and Objects. . 2010. p. 228-249. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-17071-3_12
Aichernig, Bernhard ; Brandl, Harald ; Jöbstl, Elisabeth ; Krenn, Willibald. / Model-Based Mutation Testing of Hybrid Systems. Formal Methods for Components and Objects. ., 2010. pp. 228-249 (Lecture Notes in Computer Science).
@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",

}

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 contribution

T3 - Lecture Notes in Computer Science

SP - 228

EP - 249

BT - Formal Methods for Components and Objects

PB - .

ER -