David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin. A Formal Approach for Passive Testing of Protocol Data Portions. In 10th IEEE International Conference on Network Protocols (ICNP 2002), 12-15 November 2002, Paris, France, Proceedings. pages 122-131, IEEE Computer Society, 2002. [doi]
Abstract is missing.