Login / Signup
A survey on formal active and passive testing with applications to the cloud.
Ana R. Cavalli
Teruo Higashino
Manuel Núñez
Published in:
Ann. des Télécommunications (2015)
Keyphrases
</>
cloud computing
test cases
formal model
neural network
artificial intelligence
information retrieval
computer vision
metadata
image processing
similarity measure
low cost
test set
data center
formal specification
formal methods
mathematical theory