Skip to main content
European Commission logo print header

Safety Analysis of Concurrent Systems


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