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.

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar. KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 1491-1494, ACM, 2023. [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