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

Elisabeth Jöbstl

Publikation: StudienabschlussarbeitDiplomarbeit

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 2009

Dieses zitieren