Seguir
Julian Büning
Julian Büning
Email confirmado em rwth-aachen.de - Página inicial
Título
Citado por
Citado por
Ano
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
42022
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–4