Model-Based Mutation Testing with Constraint and SMT Solvers

Elisabeth Jöbstl

Research output: ThesisDoctoral Thesis

Original languageEnglish
Publication statusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Cite this