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]
@inproceedings{JingWYW08, title = {A Formal Approach to Robustness Testing of Network Protocol}, author = {Chuanming Jing and Zhiliang Wang and Xia Yin and Jianping Wu}, year = {2008}, doi = {10.1007/978-3-540-88140-7_3}, url = {http://dx.doi.org/10.1007/978-3-540-88140-7_3}, tags = {protocol, testing, systematic-approach}, researchr = {https://researchr.org/publication/JingWYW08}, cites = {0}, citedby = {0}, pages = {24-37}, booktitle = {Network and Parallel Computing, IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings}, editor = {Jian Cao and Minglu Li and Min-You Wu and Jinjun Chen}, volume = {5245}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-88139-1}, }