Towards Scalable Modular Checking of User-Defined Properties.

Thomas Ball Brian Hackett Shuvendu K. Lahiri Shaz Qadeer Julien Vanegue

Published in: VSTTE (2010)

Keyphrases

user defined
data types
query processor
query language
data mining
desirable properties
database
web scale
data sets
feature selection
multi dimensional
derivation rules