Symbolic execution (SE) is versatile program analysis technique
There are a number of different approaches like static symbolic execution or concolic symbolic execution as well as tools and analysis realized using SE. In this seminar we will discuss several approaches, tools and applications of SE.
- Dozent*in: Richard Bubel
- Dozent*in: Stefan Dillmann
- Dozent*in: Daniel Drodt
- Dozent*in: Lukas Grätz
- Dozent*in: Reiner Hähnle
- Dozent*in: Asma Heydari Tabar
- Dozent*in: Marco Scaletta
- Dozent*in: Anna Schmitt