Seguir
Julian Büning
Julian Büning
RWTH Aachen University
Dirección de correo verificada de rwth-aachen.de - Página principal
Título
Citado por
Citado por
Año
Symbolic partial-order execution for testing multi-threaded programs
D Schemmel, J Büning, C Rodríguez, D Laprell, K Wehrle
International Conference on Computer Aided Verification, 376-400, 2020
162020
Symbolic Liveness Analysis of Real-World Software
D Schemmel, J Büning, OS Dustmann, T Noll, K Wehrle
International Conference on Computer Aided Verification, 447-466, 2018
62018
A Deterministic Memory Allocator for Dynamic Symbolic Execution
D Schemmel, J Büning, F Busse, M Nowack, C Cadar
European Conference on Object-Oriented Programming, 2022
52022
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
D Schemmel, J Büning, F Busse, M Nowack, C Cadar
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4