iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/darts/SchemmelBBNC22.rdf
Daniel Schemmel et al.: A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). (2022) journals/darts/SchemmelBBNC22 10.4230/DARTS.8.2.13 A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). 5 Daniel Schemmel 1 Julian Büning 2 Frank Busse 3 Martin Nowack 4 Cristian Cadar 5 13:1-13:2 Dagstuhl Artifacts Ser. Dagstuhl Artifacts Ser. 8 2 2022 provenance information for RDF data of dblp record 'journals/darts/SchemmelBBNC22' 2022-06-23T15:53:59+0200