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

Publications

Year:

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

2023
4.	Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023) July 2023 DOI: 10.1145/3597926.3604921
2022
3.	Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar A Deterministic Memory Allocator for Dynamic Symbolic Execution European Conference on Object-Oriented Programming (ECOOP 2022) June 2022 DOI: 10.4230/LIPIcs.ECOOP.2022.9
2020
2.	Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, and Klaus Wehrle Symbolic Partial-Order Execution for Testing Multi-Threaded Programs Computer Aided Verification (CAV 2020) July 2020 DOI: 10.1007/978-3-030-53288-8_18 https://arxiv.org/abs/2005.06688
2018
1.	Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, and Klaus Wehrle Symbolic Liveness Analysis of Real-World Software Computer Aided Verification (CAV 2018) July 2018 DOI: 10.1007/978-3-319-96142-2_27

Export as: