Not finding it? Sign in to also search OpenAlex live.
-
MPI-BugBench: A Framework for Assessing MPI Correctness Tools2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access
Tim Jammer, Emmanuelle Saillard, Simon Schwitanski, Joachim Jenke, Radjasouria Vinayagame, Alexander Hück, +1 more
8citations -
Towards a Test Framework for Reactive (Type 2) Asset Administration Shell Implementations2024 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Software Testing and Debugging Techniques Open access
Torben Miny, Sebastian Heppner, Igor Garmaev, Marko Ristin, Björn Otto, Nico Braunisch, +4 more
8citations -
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