Julian Büning

According to our database, Julian Büning authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

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

A Deterministic Memory Allocator for Dynamic Symbolic Execution.

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

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

Dataset, July, 2020

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.

Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software.

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle

Dataset, July, 2018

Symbolic Liveness Analysis of Real-World Software.

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle

Proceedings of the Computer Aided Verification - 30th International Conference, 2018