Finding concurrency-related bugs using random isolation.

Nicholas Kidd Thomas W. Reps Julian Dolby Mandana Vaziri

Published in: Int. J. Softw. Tools Technol. Transf. (2011)

Keyphrases

database
real world
database systems
data sets
distributed systems
closely related
neural network
machine learning
relational databases
source code
concurrency control
static analysis