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 (Artifact)

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar. A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). DARTS, 8(2), 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