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

Hermann Felbinger

Publikation: StudienabschlussarbeitMasterarbeitForschung

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 2013

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

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

2013.

Publikation: StudienabschlussarbeitMasterarbeitForschung

@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 -