Skip to main navigation Skip to search Skip to main content

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