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