A Aralex Aachen research explorer

May 21, 2011 conference-paper

Verifying multi-threaded software using smt-based context-bounded model checking

Proceedings/Proceedings - International Conference on Software Engineering

DOI: 10.1145/1985793.1985839 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 141

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