Test oriented formal model of SDN applications.

Jiangyuan Yao Zhiliang Wang Xia Yin Xingang Shi Jianping Wu Yahui Li

Published in: IPCCC (2014)

Keyphrases

formal model
predicate calculus
formal models
statistical tests
security properties
security patterns
database
data sets
neural network
information systems
test cases
test data