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

Bernhard Aichernig, Elisabeth Jöbstl

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

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

Publication series

NameElectronic Proceedings in Theoretical Computer Science (EPTCS)

Conference

ConferenceWorkshop on Model-Based Testing
CountryEstonia
CityTallinn
Period25/03/1225/03/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this

Aichernig, B., & Jöbstl, E. (2012). Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking. In Model-Based Testing (MBT) (Vol. 80, pp. 88-102). (Electronic Proceedings in Theoretical Computer Science (EPTCS)). .. https://doi.org/10.4204/EPTCS.80.7