Model-Based Mutation Testing of Hybrid Systems

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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