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