Frank’s journey in computer science started at TU Dresden, where he developed a passion for systems engineering and software reliability. After working as a research assistant in the Systems Engineering Group at TU Dresden, he joined the Software Reliability Group at Imperial College London under supervision of Prof. Cristian Cadar, diving deep into software analysis, fuzzing, and symbolic execution. His main goal? Bridging the gap between cutting-edge research and real-world applications—making symbolic execution practical and impactful in industrial settings.
Group Publications
-
Sparse Symbolic Loop Execution (Registered Report)
Frank Busse, Martin Nowack, Cristian Cadar
International Fuzzing Workshop (FUZZING 2024)
-
KDAlloc: The KLEE Deterministic Allocator
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
-
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022)
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
36th European Conference on Object-Oriented Programming (ECOOP 2022)
-
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Timotej Kapus, Frank Busse, Cristian Cadar
IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
-
Running Symbolic Execution Forever
Frank Busse, Martin Nowack, Cristian Cadar
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)
Talks
-
Sparse Symbolic Loop Execution
Talk @ FUZZING 2024
-
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Talk @ KLEE 2022
-
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Talk @ ISSTA 2022
-
Running Symbolic Execution Forever
Talk @ KLEE 2021
-
Running Symbolic Execution Forever
Talk @ ISSTA 2020