清华计算机科学吴鑫,Zhiliang Wang at netarchlab of Network Research Center of Tsinghua University...

范伦挺, 王之梁, 尹霞, 崔赛华.

OSPFv3路由监控系统的设计与实现.

计算机工程. 2008, 34(24): 124-127.

[pdf]

吴鑫, 尹霞, 王之梁, 唐敏.

结合AS层次关系的域间路由收敛时间分析.

第十五届Cernet年会. 2008年10月. 中国海洋大学学报.

[pdf]

Zhiliang Wang, Xia Yin, Jianping Wu, Chuanming Jing.

A Formal Method to Real-time Protocol Interoperability Testing.

Science in China Series F: Information Sciences. 2008, 51(11): 1723-1744.

[pdf]

(王之梁, 尹霞, 吴建平, 景传明.

一种形式化的实时协议互操作性测试方法.

中国科学E辑: 信息科学. 2008, 38(10): 1614-1635.)

[pdf]

Xia Yin, Zhiliang Wang, Chuanming Jing and Xingang Shi.

A TTCN-3-based protocol testing system and its extension.

Science in China Series F: Information Sciences. 2008, 51(11): 1703-1722.

[pdf]

(尹霞, 王之梁, 景传明, 施新刚.

一种基于TTCN-3的协议测试系统及其扩展研究.

中国科学E辑: 信息科学. 2008, 38(10): 1596-1613.)

[pdf]

Chuanming Jing, Xia Yin, Zhiliang Wang, Jianping Wu.

A Formal Approach to Robustness Testing of Network Protocol with Time Constraints.

The 2008 International Symposium on Trusted Computing (TrustCom 2008).

Zhangjiajie, China. November, 2008. 2168-2174.

[pdf]

Chuanming Jing, Zhiliang Wang, Xia Yin, Jianping Wu.

A Formal Approach to Robustness Testing of Network Protocol.

IFIP International Conference on Network and Parallel Computing (NPC 2008).

Shanghai, China. October, 2008. 24-37.

[pdf]

[ppt]

Huiming Wang, Xingang Shi, Zhiliang Wang, Xia Yin, Jianping Wu.

Performance Testing of Mobile IPv6 Protocol.

IEEE Symposium on Computers and Communications (ISCC 2008).

Marrakech, Morocco. July, 2008. 772-779.

[pdf]

Chuanming Jing, Zhiliang Wang, Xingang Shi, Xia Yin, Jianping Wu.

Mutation Testing of Protocol Messages Based on Extended TTCN-3.

The 22nd IEEE International Conference on Advanced Information Networking and Applications (AINA 2008).

Okinawa, Japan. March, 2008. 667-674.

[pdf]

[ppt]