Originalsprache | englisch |
---|---|
Publikationsstatus | Veröffentlicht - 2014 |
Fields of Expertise
- Information, Communication & Computing
Dies zitieren
Jöbstl, E. (2014). Model-Based Mutation Testing with Constraint and SMT Solvers.
Model-Based Mutation Testing with Constraint and SMT Solvers. / Jöbstl, Elisabeth.
2014.Publikation: Studienabschlussarbeit › Dissertation › Forschung
Jöbstl, E 2014, 'Model-Based Mutation Testing with Constraint and SMT Solvers'.
Jöbstl E. Model-Based Mutation Testing with Constraint and SMT Solvers. 2014.
@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 -