TUM Logo

Dynamic Optimizations for Symbolic Execution

Dynamic Optimizations for Symbolic Execution

Supervisor(s): Fabian Kilger
Status: inprogress
Topic: Others
Author: Frederico Santos
Submission: 2021-10-15
Type of Thesis: Bachelorthesis

Description