Affiliation:
1. Imperial College London, UK
Abstract
We present the lazy happens-before relation (lazy HBR), which ignores mutex-induced edges to provide a more precise notion of state equivalence compared with the traditional happens-before relation. We demonstrate experimentally that the lazy HBR has the potential to provide greater schedule reduction during systematic concurrency testing with respect to a set of 79 Java benchmarks.
Funder
Engineering and Physical Sciences Research Council
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference5 articles.
1. Dynamic partial-order reduction for model checking software
2. Model checking for programming languages using VeriSoft
3. Introduction Example Evaluation Future Work: Lazy DPOR Introduction Example Evaluation Future Work: Lazy DPOR
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献