Scalable and precise symbolic analysis for atomicity violations.

Published in: ASE (2011)

Keyphrases

data analysis
high level
data sets
computer vision
decision trees
similarity measure
statistical analysis
databases
neural network
learning algorithm
electronic commerce
quantitative analysis