A Formal Approach to Robustness Testing of Network Protocol with Time Constraints.

Chuanming Jing Xia Yin Zhiliang Wang Jianping Wu

Published in: ICYCS (2008)

Keyphrases

machine learning
test cases
constraint satisfaction
information systems
bayesian networks
association rules
computational efficiency
software testing
formal representation