The following publications are possibly variants of this publication:
- Network protocol system monitoring: a formal approach with passive testingDavid Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin. ton, 14(2):424-437, 2006. [doi]
- A formal approach to protocol interoperability testingRuibing Hao, Jianping Wu. jcst, 13(1):79-90, 1998. [doi]
- A formal approach to protocol performance testingMingwei Xu, Jianping Wu. jcst, 14(1):81-87, 1999. [doi]
- Executable Test Sequence for the Protocol Data Portion Based on Two CriteriaWen-Huei Chen. jise, 21(3):529-545, 2005. [doi]
- A Formal Approach to Robustness Testing of Network ProtocolChuanming Jing, Zhiliang Wang, Xia Yin, Jianping Wu. canpc 2008: 24-37 [doi]