Conditional dynamic partial order reduction and optimality results
- 10 July 2019
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- VeriConPublished by Association for Computing Machinery (ACM) ,2014
- Optimal dynamic partial order reductionPublished by Association for Computing Machinery (ACM) ,2014
- TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor ProgramsLecture Notes in Computer Science, 2012
- ABS: A Core Language for Abstract Behavioral SpecificationLecture Notes in Computer Science, 2011
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction TechniqueLecture Notes in Computer Science, 2009
- The Barcelogic SMT SolverLecture Notes in Computer Science, 2008
- Automated Systematic Testing of Open Distributed ProgramsLecture Notes in Computer Science, 2006
- Dynamic partial-order reduction for model checking softwarePublished by Association for Computing Machinery (ACM) ,2005
- State space reduction using partial order techniquesInternational Journal on Software Tools for Technology Transfer, 1999
- Defining conditional independence using collapsesTheoretical Computer Science, 1992