Adaptive Testing for Specification Coverage in CPS Models.

Ezio Bartocci Roderick Bloem Benedikt Maderbacher Niveditha Manjunath Dejan Nickovic

Published in: ADHS (2021)

Keyphrases

probabilistic model
statistical models
machine learning
prior knowledge
real time
video sequences
data model
complex systems
experimental data
test data
test suite
conceptual models