Julian Büning

Publication Activity (10 Years)

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

Top Topics

Symbolic Execution

Test Generation

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)
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. CoRR (2020)
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. CAV (1) (2020)
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Symbolic Liveness Analysis of Real-World Software. CAV (2) (2018)