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

Openings

Research @ COMSYS

Research Groups

Research Overview

Publications

Year:

All :: 2022, 2023

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)

July 2023

Export as:

- Impressum | Datenschutz -