A Formal Approach to Robustness Testing of Network Protocol.

Chuanming Jing Zhiliang Wang Xia Yin Jianping Wu

Published in: NPC (2008)

Keyphrases

databases
neural network
high robustness
formal models
formal model
test data
expert systems
test cases
mathematical theory
multi agent systems
control system
data structure
computational efficiency
image segmentation
software testing
case study
multimedia