Model-Based Mutation Testing of Hybrid Systems

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelFormal Methods for Components and Objects
Herausgeber (Verlag).
Seiten228-249
DOIs
PublikationsstatusVeröffentlicht - 2010
VeranstaltungInternational Symposium on Formal Methods for Components and Objects - Eindhoven, Niederlande
Dauer: 4 Nov 20096 Nov 2009

Publikationsreihe

NameLecture Notes in Computer Science

Konferenz

KonferenzInternational Symposium on Formal Methods for Components and Objects
LandNiederlande
OrtEindhoven
Zeitraum4/11/096/11/09

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Experimental
  • Theoretical

Dieses zitieren

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