Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.

Ahmed Bouajjani Cezara Dragoi Constantin Enea Mihaela Sighireanu

Published in: ATVA (2012)

Keyphrases

data sets
training data
data collection
raw data
original data
complex data
image data
high dimensional data
highly accurate
database
multimedia data
data acquisition
knowledge discovery
data sources
data structure
high quality
data processing
input data
missing data
data points
probability distribution