The following publications are possibly variants of this publication:
- A Formal Approach to Robustness Testing of Network Protocol with Time ConstraintsChuanming Jing, Xia Yin, Zhiliang Wang, Jianping Wu. icycs 2008: 2168-2174 [doi]
- A formal approach to robustness testing of network protocol with time constraintsXia Yin, Zhiliang Wang, Chuanming Jing, Jianping Wu. scn, 4(6):622-632, 2011. [doi]
- 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]
- A Formal Approach to Conformance Testing of Distributed Routing ProtocolsJun Bi, Jianping Wu. forte 1999: 151-163