Xia Yin

	2009
18		Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li: TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks. TestCom/FATES 2009: 163-178
	2008
17		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		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		Huiming Wang, Xingang Shi, Zhiliang Wang, Xia Yin, Jianping Wu: Performance testing of Mobile IPv6 protocol. ISCC 2008: 772-779
14		Chuanming Jing, Zhiliang Wang, Xia Yin, Jianping Wu: A Formal Approach to Robustness Testing of Network Protocol. NPC 2008: 24-37
13		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		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		Yan Liu, Xia Yin, Jianping Wu: Experience of Conformance Testing on IPv6 Protocols. ISCC 2006: 95-100
10		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		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		Zhongjie Li, Xia Yin, Jianping Wu: Distributed Testing of Multi Input/Output Transition System. SEFM 2004: 271-280
7		Zhongjie Li, Jianping Wu, Xia Yin: Testing Multi Input/Output Transition System with All-Observer. TestCom 2004: 95-111
	2003
6		Jianping Wu, Zhongjie Li, Xia Yin: Towards Modeling and Testing of IP Routing Protocols. TestCom 2003: 49-62
5		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		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		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		Yixin Zhao, Xia Yin, Bo Han, Jianping Wu: On-Line Test System Applied in Routing Protocol Test. MASCOTS 2001: 331-338

Coauthor Index

1	Dongluo Chen	[4] [9]
2	Shirui Gao	[18]
3	Song Gao	[18]
4	Bo Han	[1]
5	Ruibing Hao	[4] [9]
6	Chuanming Jing	[12] [13] [14] [16] [17]
7	David Lee	[4] [9]
8	Peng Li	[18]
9	Zhongjie Li	[6] [7] [8]
10	Shijian Liu	[18]
11	Yan Liu (Yan (Jenny) Liu)	[11]
12	Raymond E. Miller	[4] [9]
13	Xingang Shi	[10] [13] [15] [17]
14	Beihang Tian	[10]
15	Huiming Wang	[15]
16	Zhiliang Wang	[10] [12] [13] [14] [15] [16] [17] [18]
17	Jianping Wu	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [15] [16] [17]
18	Xin Wu	[18]
19	Yang Xiang	[18]
20	Yixin Zhao	[1] [2] [3] [5]
21	Li Zhou	[18]
22	Ruiping Zhu	[18]