Symbolic Liveness Analysis of Real-World Software. - Daniel Schemmel; Julian Büning; Oscar Soria Dustmann; Thomas Noll 001; Klaus Wehrle (CAV (2), 2018)

Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software. - Daniel Schemmel; Julian Büning; Oscar Soria Dustmann; Thomas Noll 001; Klaus Wehrle (Zenodo, 2018)

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. - Daniel Schemmel; Julian Büning; César Rodríguez; David Laprell; Klaus Wehrle (CAV (1), 2020)

Artifact for the CAV 2020 Paper: Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. - Daniel Schemmel; Julian Büning; César Rodríguez; David Laprell; Klaus Wehrle (Zenodo, 2020)

A Deterministic Memory Allocator for Dynamic Symbolic Execution. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ECOOP, 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)