Originalsprache | englisch |
---|---|
Publikationsstatus | Veröffentlicht - 2009 |
Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving
Elisabeth Jöbstl
Publikation: Studienabschlussarbeit › Diplomarbeit
Elisabeth Jöbstl
Publikation: Studienabschlussarbeit › Diplomarbeit
Originalsprache | englisch |
---|---|
Publikationsstatus | Veröffentlicht - 2009 |