Frank Busse

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Static Analysis

Symbolic Execution

Specification Language

Top Venues

Dagstuhl Artifacts Ser.

Publications

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. ISSTA (2023)
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution. ECOOP (2022)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA (2022)
Frank Busse, Martin Nowack, Cristian Cadar
Running symbolic execution forever. ISSTA (2020)
Timotej Kapus, Frank Busse, Cristian Cadar
Pending Constraints in Symbolic Execution for Better Exploration and Seeding. ASE (2020)