| 2008 |
|---|
| 17 | EE | Chuanming Jing,
Zhiliang Wang,
Xingang Shi,
Xia Yin,
Jianping Wu:
Mutation Testing of Protocol Messages Based on Extended TTCN-3.
AINA 2008: 667-674 |
| 16 | EE | Chuanming Jing,
Xia Yin,
Zhiliang Wang,
Jianping Wu:
A Formal Approach to Robustness Testing of Network Protocol with Time Constraints.
ICYCS 2008: 2168-2174 |
| 15 | EE | Huiming Wang,
Xingang Shi,
Zhiliang Wang,
Xia Yin,
Jianping Wu:
Performance testing of Mobile IPv6 protocol.
ISCC 2008: 772-779 |
| 14 | EE | Chuanming Jing,
Zhiliang Wang,
Xia Yin,
Jianping Wu:
A Formal Approach to Robustness Testing of Network Protocol.
NPC 2008: 24-37 |
| 13 | EE | Xia Yin,
Zhiliang Wang,
Chuanming Jing,
Xingang Shi:
A TTCN-3-based protocol testing system and its extension.
Science in China Series F: Information Sciences 51(11): 1703-1722 (2008) |
| 12 | EE | Zhiliang Wang,
Xia Yin,
Chuanming Jing:
A formal method to real-time protocol interoperability testing.
Science in China Series F: Information Sciences 51(11): 1723-1744 (2008) |
| 2006 |
|---|
| 11 | EE | Yan Liu,
Xia Yin,
Jianping Wu:
Experience of Conformance Testing on IPv6 Protocols.
ISCC 2006: 95-100 |
| 10 | EE | Zhiliang Wang,
Jianping Wu,
Xia Yin,
Xingang Shi,
Beihang Tian:
Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems.
TestCom 2006: 324-340 |
| 9 | EE | David Lee,
Dongluo Chen,
Ruibing Hao,
Raymond E. Miller,
Jianping Wu,
Xia Yin:
Network protocol system monitoring: a formal approach with passive testing.
IEEE/ACM Trans. Netw. 14(2): 424-437 (2006) |
| 2004 |
|---|
| 8 | EE | Zhongjie Li,
Xia Yin,
Jianping Wu:
Distributed Testing of Multi Input/Output Transition System.
SEFM 2004: 271-280 |
| 7 | EE | Zhongjie Li,
Jianping Wu,
Xia Yin:
Testing Multi Input/Output Transition System with All-Observer.
TestCom 2004: 95-111 |
| 2003 |
|---|
| 6 | EE | Jianping Wu,
Zhongjie Li,
Xia Yin:
Towards Modeling and Testing of IP Routing Protocols.
TestCom 2003: 49-62 |
| 5 | EE | Yixin Zhao,
Xia Yin,
Jianping Wu:
Problems in the Information Dissemination of the Internet Routing.
J. Comput. Sci. Technol. 18(2): 139-152 (2003) |
| 2002 |
|---|
| 4 | EE | David Lee,
Dongluo Chen,
Ruibing Hao,
Raymond E. Miller,
Jianping Wu,
Xia Yin:
A Formal Approach for Passive Testing of Protocol Data Portions.
ICNP 2002: 122-131 |
| 3 | EE | Yixin Zhao,
Jianping Wu,
Xia Yin:
From Active to Passive - Progress in Testing Internet Routing Protocols.
J. Comput. Sci. Technol. 17(3): 264-283 (2002) |
| 2001 |
|---|
| 2 | | Jianping Wu,
Yixin Zhao,
Xia Yin:
From Active to Passive: Progress in Testing of Internet Routing Protocols.
FORTE 2001: 101-118 |
| 1 | EE | Yixin Zhao,
Xia Yin,
Bo Han,
Jianping Wu:
On-Line Test System Applied in Routing Protocol Test.
MASCOTS 2001: 331-338 |
