A Aralex Aachen research explorer

January 01, 1997 conference-paper

Model checking for programming languages using VeriSoft

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/263699.263717 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 826

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