Non-race concurrency bug detection through order-sensitive critical sections.

Ruirui C. Huang Erik Halberg G. Edward Suh

Published in: ISCA (2013)

Keyphrases

neural network
learning algorithm
false positives
database
data sets
information systems
database systems
similarity measure
evolutionary algorithm
data model
object detection
source code
database management systems
detection method