Databases and Information Systems Group
Team
Research
Teaching
Publications
Contact
Team
Research
Teaching
Publications
Contact
menu
Home
Team
Ruben Hutter
Ruben Hutter
Ruben Hutter
Bachelor Student
E-mail
ehora.uhggre@havonf.pu
Own Theses
Own Theses
Optimizing Symbolic Execution Through Taint Analysis and Path Prioritization
(Bachelor Thesis)