BDDs for Representing Data in Runtime Verification.

Klaus Havelund Doron Peled

Published in: RV (2020)

Keyphrases

data sets
data collection
data processing
complex data
prior knowledge
experimental data
data analysis
synthetic data
data sources
data structure
original data
application domains
attribute values
xml documents
labeled data
sensor data
small number
data points
data distribution
probability distribution
end users