Takip et
Julian Büning
Julian Büning
RWTH Aachen University
rwth-aachen.de üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–4