Testing Black-Box SDN Applications with Formal Behavior Models.

Jiangyuan Yao Zhiliang Wang Xia Yin Xingang Shi Yahui Li Chongrong Li

Published in: MASCOTS (2017)

Keyphrases

black box
white box
test cases
black boxes
integration testing
white box testing
metamodel
probabilistic model
hybrid systems
metadata
physical systems
formal models
databases
neural network
database systems
test set