Model-Based Mutation Testing with Constraint and SMT Solvers

Elisabeth Jöbstl

Research output: ThesisDoctoral ThesisResearch

Original languageEnglish
Publication statusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Cite this

Model-Based Mutation Testing with Constraint and SMT Solvers. / Jöbstl, Elisabeth.

2014.

Research output: ThesisDoctoral ThesisResearch

@phdthesis{54865a369abb43768412e3846a18ebde,
title = "Model-Based Mutation Testing with Constraint and SMT Solvers",
author = "Elisabeth J{\"o}bstl",
year = "2014",
language = "English",

}

TY - THES

T1 - Model-Based Mutation Testing with Constraint and SMT Solvers

AU - Jöbstl, Elisabeth

PY - 2014

Y1 - 2014

M3 - Doctoral Thesis

ER -