Login / Signup
Frank Busse
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 6
Top Topics
Static Analysis
Simplex Method
Symbolic Execution
Specification Language
Top Venues
ISSTA
Dagstuhl Artifacts Ser.
ASE
ECOOP
</>
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)