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: Daniel Drodt
- Dozent*in: Lukas Grätz
- Dozent*in: Reiner Hähnle
- Dozent*in: Niklas Heidler
- Dozent*in: Marco Scaletta
- Dozent*in: Adele Veschetti