Pinso: Precise Isolation of Concurrency Bugs via Delta Triaging.

Bo Liu Zhengwei Qi Bin Wang Ruhui Ma

Published in: ICSME (2014)

Keyphrases

bug reports
source code
software systems
snapshot isolation
database systems
concurrency control
software projects
open source projects
database
image sequences
integrity constraints
highly accurate
data flow
replicated databases
concurrent execution