Elisabeth Jöbstl
Research output: Thesis › Doctoral Thesis
}
TY - THES
T1 - Model-Based Mutation Testing with Constraint and SMT Solvers
AU - Jöbstl, Elisabeth
PY - 2014
Y1 - 2014
M3 - Doctoral Thesis
ER -