%0 Conference Paper %1 conf/issta/SchemmelBBNC23 %A Schemmel, Daniel %A Büning, Julian %A Busse, Frank %A Nowack, Martin %A Cadar, Cristian %B ISSTA %D 2023 %E Just, René %E Fraser, Gordon %I ACM %K dblp %P 1491-1494 %T KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. %U http://dblp.uni-trier.de/db/conf/issta/issta2023.html#SchemmelBBNC23

@inproceedings{conf/issta/SchemmelBBNC23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Schemmel, Daniel and Büning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/24351ba9f897dea3c95a0540048b84fe6/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2023}, editor = {Just, René and Fraser, Gordon}, ee = {https://doi.org/10.1145/3597926.3604921}, interhash = {4d6f4b637cf9f471c3c72e56dd440759}, intrahash = {4351ba9f897dea3c95a0540048b84fe6}, keywords = {dblp}, pages = {1491-1494}, publisher = {ACM}, timestamp = {2024-04-09T20:41:19.000+0200}, title = {KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2023.html#SchemmelBBNC23}, year = 2023 }