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