Optimal dynamic partial order reduction
- 8 January 2014
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 49 (1), 373-384
- https://doi.org/10.1145/2535838.2535845
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor ProgramsLecture Notes in Computer Science, 2012
- ErlangCommunications of the ACM, 2010
- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction TechniquesLecture Notes in Computer Science, 2010
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction TechniqueLecture Notes in Computer Science, 2009
- Automated Systematic Testing of Open Distributed ProgramsLecture Notes in Computer Science, 2006
- Software Model Checking: The VeriSoft ApproachFormal Methods in System Design, 2005
- State space reduction using partial order techniquesInternational Journal on Software Tools for Technology Transfer, 1999
- State-space caching revisitedFormal Methods in System Design, 1995
- A technique of state space search based on unfoldingFormal Methods in System Design, 1995
- Defining conditional independence using collapsesTheoretical Computer Science, 1992