Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving

Elisabeth Jöbstl

Research output: ThesisDiploma ThesisResearch

Original languageEnglish
Publication statusPublished - 2009

Cite this

Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving. / Jöbstl, Elisabeth.

2009.

Research output: ThesisDiploma ThesisResearch

@phdthesis{e09eb9723d1d41c294c84ef20f74c736,
title = "Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving",
author = "Elisabeth J{\"o}bstl",
year = "2009",
language = "English",

}

TY - THES

T1 - Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving

AU - Jöbstl, Elisabeth

PY - 2009

Y1 - 2009

M3 - Diploma Thesis

ER -