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

Paul Thomson Alastair F. Donaldson

Published in: PPOPP (2015)

Keyphrases

partial order reduction
model checking
petri net
database
fine grained
machine learning
bayesian networks
data structure
test cases
computer vision
e learning
database systems
relational databases
concurrency control
qualitative and quantitative