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]
Abstract is missing.