Running symbolic execution forever. - Frank Busse; Martin Nowack; Cristian Cadar (ISSTA, 2020)

Pending Constraints in Symbolic Execution for Better Exploration and Seeding. - Timotej Kapus; Frank Busse; Cristian Cadar (ASE, 2020)

A Deterministic Memory Allocator for Dynamic Symbolic Execution. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ECOOP, 2022)

Combining static analysis error traces with dynamic symbolic execution (experience paper). - Frank Busse; Pritam M. Gharat; Cristian Cadar; Alastair F. Donaldson (ISSTA, 2022)

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (Dagstuhl Artifacts Ser., 2022)

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ISSTA, 2023)

Sparse Symbolic Loop Execution (Registered Report). - Frank Busse; Martin Nowack; Cristian Cadar (FUZZING, 2024)