Active property checking.

Patrice Godefroid Michael Y. Levin David A. Molnar

Published in: EMSOFT (2008)

Keyphrases

data sets
neural network
data mining
databases
information systems
e learning
knowledge base
support vector
object recognition
relational databases
consistency checking