A Unified Approach for Localizing Non-deadlock Concurrency Bugs.

Sangmin Park Richard W. Vuduc Mary Jean Harrold

Published in: ICST (2012)

Keyphrases

software systems
concurrency control
source code
database systems
data flow
nested transactions
database
computer vision
software projects
social networks
high level
similarity measure
search algorithm
relational databases
concurrent programming