Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/issta/SchemmelBBNC23
AU - Schemmel, Daniel
AU - Büning, Julian
AU - Busse, Frank
AU - Nowack, Martin
AU - Cadar, Cristian
TI - KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay.
BT - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023
SP - 1491
EP - 1494
PY - 2023//
DO - 10.1145/3597926.3604921
UR - https://doi.org/10.1145/3597926.3604921
ER -