Not finding it? Sign in to also search OpenAlex live.
-
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay2023 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) conference-paper Computer Science Software Testing and Debugging Techniques Open access
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
4citations -
Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques
Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Matthias Mueller
2citations -
Machine-readable specification and intelligent cloud-based execution of logical test cases for automated driving functions2024 Automated Software Engineering article Computer Science Software Testing and Debugging Techniques Open access
Max‐Arno Meyer, Mehdi Zouari, Sebastian Bannenberg, Markus Deppe, Sébastien Christiaens, Sung-Yong Lee, +1 more
2citations