Automated Systematic Testing of Open Distributed Programs
- 1 January 2006
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 339-356
- https://doi.org/10.1007/11693017_25
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- DARTPublished by Association for Computing Machinery (ACM) ,2005
- Dynamic partial-order reduction for model checking softwarePublished by Association for Computing Machinery (ACM) ,2005
- Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented ProgramsFormal Methods in System Design, 2004
- Distributed algorithms for detecting conjunctive predicatesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- Partial-order reduction in symbolic state space explorationLecture Notes in Computer Science, 1997
- A foundation for actor computationJournal of Functional Programming, 1997
- Partial-Order Methods for the Verification of Concurrent SystemsLecture Notes in Computer Science, 1996
- ActorsPublished by MIT Press ,1986
- Distributed snapshotsACM Transactions on Computer Systems, 1985