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.
Group Publications
-
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
-
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