revent : A Predictive Run-Time Verification Framework Using Statistical Learning.

Reza Babaee Arie Gurfinkel Sebastian Fischmeister

Published in: SEFM (2018)

Keyphrases

statistical learning
supervised learning
information theory
statistics and machine learning
knowledge discovery
unsupervised learning
statistical inference
data mining
image processing
decision trees
image segmentation
image analysis
probabilistic model
model checking
statistical learning theory