KIT - Karlsruhe Institute of Technology
image/svg+xml
Automated Software Analysis Group
Home
Legals
Data Protection
Sitemap
KIT
KIT
Research
Start
Research
Research
BoundJ
STEP
InspectJ
AbstractJ
Alloy2JML
TCProver
JKelloy
Kelloy
AlloyPE
KodkodIRB
Publications
Courses
People
Theses and Jobs
Startpage
Home
Legals
Data Protection
Sitemap
Automated Software Analysis Group
Startpage
Publications
Startseite
Research
Publications
Courses
People
Theses and Jobs
Publications
Test Case Generation via SSA-based Symbolic Execution
Author:
Andreas Fried
Place:
Karlsruhe Institute of Technology, Bachelor Thesis, 2013
