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

Elisabeth Jöbstl

Institute of Software Technology (7160)

Research output: Thesis › Diploma Thesis

Original language	English
Publication status	Published - 2009

Access to Document

masterthesis_joebstl.pdfFinal published version, 4.3 MB

Cite this