Model-Based Mutation Testing via Symbolic Refinement Checking

Bernhard Aichernig, Elisabeth Jöbstl, Stefan Tiran

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)383-404
JournalScience of computer programming
Volume97, Part 4
Publication statusPublished - 2015

Fields of Expertise

  • Information, Communication & Computing

Cite this