AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.

Shan Lu Joseph Tucek Feng Qin Yuanyuan Zhou

Published in: IEEE Micro (2007)

Keyphrases

electronic commerce
databases
data mining
access control
fine grained
automatic detection
random access
differential operators