Suitability Analysis of CSP- and SMT-solvers for Test Case Generation

Hermann Felbinger

Research output: ThesisMaster's ThesisResearch

Original languageEnglish
Publication statusPublished - 2013

Fields of Expertise

  • Information, Communication & Computing

Cite this

Suitability Analysis of CSP- and SMT-solvers for Test Case Generation. / Felbinger, Hermann.

2013.

Research output: ThesisMaster's ThesisResearch

@phdthesis{0befc9211e5144d28041e4f7b4a528b4,
title = "Suitability Analysis of CSP- and SMT-solvers for Test Case Generation",
author = "Hermann Felbinger",
year = "2013",
language = "English",

}

TY - THES

T1 - Suitability Analysis of CSP- and SMT-solvers for Test Case Generation

AU - Felbinger, Hermann

PY - 2013

Y1 - 2013

M3 - Master's Thesis

ER -