Sciweavers

PPOPP
2015
ACM

The lazy happens-before relation: better partial-order reduction for systematic concurrency testing

8 years 6 months ago
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
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. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging; D.2.4 [Software Engineering]: Software/Program Verification Keywords Partial-order reduction; systematic concurrency testing
Paul Thomson, Alastair F. Donaldson
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where PPOPP
Authors Paul Thomson, Alastair F. Donaldson
Comments (0)