Frank Busse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2020–2023
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ISSTA | KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2022 | ECOOP | A Deterministic Memory Allocator for Dynamic Symbolic Execution. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2022 | ISSTA | Combining static analysis error traces with dynamic symbolic execution (experience paper). | Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson |
| 2020 | ISSTA | Running symbolic execution forever. | Frank Busse, Martin Nowack, Cristian Cadar |