Frank Busse -

Registered user since Fri 26 Jun 2020

Name:Frank Busse

Country:Germany

Affiliation:Independent Researcher

Research interests:Symbolic Execution, Program Testing

Contributions

2026

ASE

Committee Member of 5th International KLEE Workshop on Symbolic Execution within the Co-Located Events-track

KLEE

Committee Member in Organizing Committee within the KLEE 2026-track

2024

FUZZING

Author of Sparse Symbolic Loop Execution within the FUZZING 2024-track

KLEE

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