Julian Bning
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–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 |
| 2020 | CAV | Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. | Daniel Schemmel, Julian Bning, Csar Rodrguez, David Laprell, Klaus Wehrle |
| 2018 | CAV | Symbolic Liveness Analysis of Real-World Software. | Daniel Schemmel, Julian Bning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle |