External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Deterministic Memory Allocator for Dynamic Symbolic Execution

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar. A Deterministic Memory Allocator for Dynamic Symbolic Execution. In Karim Ali 0001, Jan Vitek, editors, 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. Volume 222 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Daniel Schemmel

This author has not been identified. Look up 'Daniel Schemmel' in Google

Julian Büning

This author has not been identified. Look up 'Julian Büning' in Google

Frank Busse

This author has not been identified. Look up 'Frank Busse' in Google

Martin Nowack

This author has not been identified. Look up 'Martin Nowack' in Google

Cristian Cadar

This author has not been identified. Look up 'Cristian Cadar' in Google
runs on