Nils Loose received the award for the best master’s degree in computer science at the University of Lübeck for his thesis “VULPEX Exploring Vulnerable Paths Using Dynamic Symbolic Execution,” along with a 1,000-euro prize sponsored by Capgemini.
SWAT the dynamic symbolic execution engine developed at the University of LĂĽbeck
