Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification.

Leopoldo Teixeira Breno Miranda Henrique Rebêlo Marcelo d'Amorim

Published in: ICST (2021)

Keyphrases

lessons learned
key issues
open source
real world
open issues
desirable properties
high level
multiscale
application programming interface
unique features
application scenarios
object oriented
real time
bayesian networks
decision trees
computer vision
artificial intelligence
machine learning
data mining
data sets