%0 Conference Paper %1 conf/ecoop/SchemmelBBNC22 %A Schemmel, Daniel %A Büning, Julian %A Busse, Frank %A Nowack, Martin %A Cadar, Cristian %B ECOOP %D 2022 %E Ali, Karim %E Vitek, Jan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:26 %T A Deterministic Memory Allocator for Dynamic Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2022.html#SchemmelBBNC22 %V 222 %@ 978-3-95977-225-9

@inproceedings{conf/ecoop/SchemmelBBNC22, 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/2682d1fb8c54e37fb16801303d4878392/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2022}, editor = {Ali, Karim and Vitek, Jan}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.9}, interhash = {4946a17351fef1d088a6e0484430f669}, intrahash = {682d1fb8c54e37fb16801303d4878392}, isbn = {978-3-95977-225-9}, keywords = {dblp}, pages = {9:1-9:26}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:40:24.000+0200}, title = {A Deterministic Memory Allocator for Dynamic Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2022.html#SchemmelBBNC22}, volume = 222, year = 2022 }