C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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