Model-based mutation testing of reactive systems - from semantics to automated test-case generation

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

Original languageEnglish
Title of host publicationTheories of Programming and Formal Methods
Publisher.
Pages23-36
Publication statusPublished - 2013

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Projects

Cite this