Databases and Information Systems Group
Databases and Information Systems
Team
Research
Teaching
Publications
Contact
Team
Research
Teaching
Publications
Contact
menu
Home
Team
Ruben Hutter
Ruben Hutter
Ruben Hutter
Former Student
Own Theses
Own Theses
Optimizing Symbolic Execution Through Taint Analysis and Path Prioritization
(Bachelor Thesis)