MagicFuzzer: Scalable deadlock detection for large-scale applications.

Yan Cai W. K. Chan

Published in: ICSE (2012)

Keyphrases

deadlock detection
distributed database systems
web scale
distributed systems
manufacturing systems
communication protocol
database
database systems
computer networks
databases
information systems
metadata
data analysis
access control