Paper Info
Title
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
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.
Year
DOI
Venue
2015
10.1145/2688500.2688533
Sigplan Notices
Keywords
Field
DocType
partial-order reduction,software/program verification,systematic concurrency testing,testing and debugging,partial order reduction
Programming language,Computer science,Concurrency,Theoretical computer science,Equivalence (measure theory),Partial order reduction,Java,Distributed computing
Conference
Volume
Issue
ISSN
50
8
0362-1340
Citations 
PageRank 
References 
3
0.40
2
Authors
2
Name
Order
Citations
PageRank
Paul Thomson11225.85
Alastair F. Donaldson266152.35