Home | Legals | Sitemap | KIT

Test Case Generation via SSA-based Symbolic Execution

Test Case Generation via SSA-based Symbolic Execution
Author:

Andreas Fried

Place:

Karlsruhe Institute of Technology, Bachelor Thesis, 2013