Model-Based Mutation Testing of an Industrial Measurement Device

Bernhard Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt

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

Original languageEnglish
Title of host publicationTests and Proofs
PublisherSpringer
Pages1-9
Volume8570
DOIs
Publication statusPublished - 2014
EventInternational Conference on Tests and Proofs: TAP 2014 - York, United Kingdom
Duration: 24 Jul 201425 Jul 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Tests and Proofs
Abbreviated titleTAP 2014
CountryUnited Kingdom
CityYork
Period24/07/1425/07/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this