A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder
- 2 December 2019
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 44 (4), 15
- https://doi.org/10.1145/3364452.3364457
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Conditional dynamic partial order reduction and optimality resultsPublished by Association for Computing Machinery (ACM) ,2019
- Data-centric dynamic partial order reductionProceedings of the ACM on Programming Languages, 2017
- SYCO: a systematic testing tool for concurrent objectsPublished by Association for Computing Machinery (ACM) ,2016
- Dynamic partial order reduction for relaxed memory modelsPublished by Association for Computing Machinery (ACM) ,2015
- Vector-clock based partial order reduction for JPFACM SIGSOFT Software Engineering Notes, 2014
- Safely reducing the cost of unit level symbolic execution through read/write analysisACM SIGSOFT Software Engineering Notes, 2014
- Extending JPF to verify distributed systemsACM SIGSOFT Software Engineering Notes, 2014
- Optimal dynamic partial order reductionPublished by Association for Computing Machinery (ACM) ,2014
- Efficient Stateful Dynamic Partial Order ReductionLecture Notes in Computer Science, 2008
- Dynamic partial-order reduction for model checking softwarePublished by Association for Computing Machinery (ACM) ,2005