Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Bernhard Aichernig, Elisabeth Jöbstl

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

Original languageEnglish
Title of host publicationModel-Based Testing (MBT)
Publisher.
Pages88-102
Volume80
DOIs
Publication statusPublished - 2012
EventSeventh Workshop on Model-Based Testing (MBT): MBT 2012 - Tallinn, Estonia
Duration: 25 Mar 201225 Mar 2012

Publication series

NameElectronic Proceedings in Theoretical Computer Science (EPTCS)

Workshop

WorkshopSeventh Workshop on Model-Based Testing (MBT)
Country/TerritoryEstonia
CityTallinn
Period25/03/1225/03/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this