Scalable automatic linearizability checking.

Published in: ICSE (2011)

Keyphrases

semi automatic
fully automatic
real time
machine learning
decision trees
high level
data driven
neural network
real world
information systems
case study
three dimensional