Data-driven equivalence checking.

Rahul Sharma Eric Schkufza Berkeley R. Churchill Alex Aiken

Published in: OOPSLA (2013)

Keyphrases

data driven
consistency checking
information technology
case study
high level
expert systems
model driven
interactive dynamic influence diagrams
database
real time
data sets
digital libraries