A Aralex Aachen research explorer

October 01, 2017 conference-paper Open access

Parallel bug-finding in concurrent programs via reduced interleaving instances

IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1109/ase.2017.8115686 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 25

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