ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) Sign in to save
Aachen papers per year
23
Papers 1
-
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay2023 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) conference-paper Computer Science Software Testing and Debugging Techniques Open access
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
4citations
1 result
Most active Aachen authors
-
Julian Büning 25 citations overall1 paper