Frank is a doctoral student in the Department of Computing at Imperial College London, where he works in the Software Reliability Group under the supervision of Dr Cristian Cadar. His research interests include software analysis and testing, particularly dynamic symbolic execution.
He studied computer science at the Technische Universität Dresden and worked for several years as Research Assistant in the Systems Engineering Group at the same university.
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
Running Symbolic Execution Forever
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)