A Aralex Aachen research explorer

July 10, 2019 conference-paper

Optimal context-sensitive dynamic partial order reduction with observers

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

DOI: 10.1145/3293882.3330565 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 9

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

15

citations
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

12

citations

2 results

References 0