Frank Busse -

Registered user since Fri 26 Jun 2020

Name:Frank Busse

Country:United Kingdom

Affiliation:Imperial College London

Personal website: https://srg.doc.ic.ac.uk/people/frank-busse/

Research interests:Symbolic Execution, Program Testing

Contributions

2024

KLEE

Co-chair in Program Committee within the KLEE 2024-track

2023

ECOOP/ISSTA

Speaker of Sparse Symbolic Execution within the Doctoral Symposium-track

ISSTA

Author of KDAlloc: The KLEE Deterministic Allocator within the Tool Demonstrations-track

2022

ISSTA

Author of Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper) within the Technical Papers-track

ECOOP

Author of A Deterministic Memory Allocator for Dynamic Symbolic Execution within the Research Papers-track

2020

ASE

Author of Pending Constraints in Symbolic Execution for Better Exploration and Seeding within the Research Papers-track

ISSTA

Author of Running Symbolic Execution Forever within the Technical Papers-track