A Formal Approach to Robustness Testing of Network Protocol

Chuanming Jing, Zhiliang Wang, Xia Yin, Jianping Wu. A Formal Approach to Robustness Testing of Network Protocol. In Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen, editors, Network and Parallel Computing, IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings. Volume 5245 of Lecture Notes in Computer Science, pages 24-37, Springer, 2008. [doi]

Authors

Chuanming Jing

This author has not been identified. Look up 'Chuanming Jing' in Google

Zhiliang Wang

This author has not been identified. Look up 'Zhiliang Wang' in Google

Xia Yin

This author has not been identified. Look up 'Xia Yin' in Google

Jianping Wu

This author has not been identified. Look up 'Jianping Wu' in Google