Publications Conference proceedings (1) A Deterministic Memory Allocator for Dynamic Symbolic Execution Author(s): Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar Published in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik DOI: 10.4230/lipics.ecoop.2022.9 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available