Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning.
Reza BabaeeArie GurfinkelSebastian FischmeisterPublished 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