Login / Signup
Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning.
Reza Babaee
Arie Gurfinkel
Sebastian Fischmeister
Published in:
RV (2018)
Keyphrases
</>
case study
black box
statistical learning
black boxes
hybrid systems
information theory
supervised learning
machine learning
white box testing
semi supervised learning
model selection
test cases
information extraction
white box
information theoretic
pairwise
pattern recognition
artificial intelligence
information retrieval
integration testing
statistics and machine learning
databases