Folgen
Julian Büning
Julian Büning
RWTH Aachen University
Bestätigte E-Mail-Adresse bei rwth-aachen.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4