PENELOPE: weaving threads to expose atomicity violations.

Francesco Sorrentino Azadeh Farzan P. Madhusudan

Published in: SIGSOFT FSE (2010)

Keyphrases

electronic commerce
multidatabase systems
nested transactions
multi threaded
acid properties
neural network
transaction management
machine learning
learning algorithm
information systems
case study
concurrency control
human intelligence
commit protocols
level parallelism