Abstraction for Falsification.

Thomas Ball Orna Kupferman Greta Yorsh

Published in: CAV (2005)

Keyphrases

high level
database
computer vision
support vector
artificial neural networks
data mining
information systems
database systems
user interface