C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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