A Taxonomy for Classifying Runtime Verification Tools.

Yliès Falcone Srdan Krstic Giles Reger Dmitriy Traytel

Published in: RV (2018)

Keyphrases

end users
user friendly
databases
data structure
design decisions
neural network
feature selection
case study
face recognition
open source
learning systems
software tools
face verification