Login / Signup
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.
Zhifeng Lai
Shing-Chi Cheung
Wing Kwong Chan
Published in:
ICSE (1) (2010)
Keyphrases
</>
decision trees
probability distribution
small number
database
data mining
distributed databases