TUM Logo

Optimizing Static Instrumentation for Symbolic Execution

Optimizing Static Instrumentation for Symbolic Execution

Supervisor(s): Fabian Kilger
Status: inprogress
Topic: Others
Author: Korbinian Stein
Submission: 2022-08-15
Type of Thesis: Bachelorthesis

Description