Xia Yin

Qingguo Xu

Kunliang Han

Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

Protocol Security Testing with SPIN and TTCN-3.

[BibT_eX]

[DOI]

Li Zhou

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Argus: An accurate and agile system to detecting IP prefix hijacking.

[BibT_eX]

[DOI]

Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

Internet Flattening: Monitoring and Analysis of Inter-Domain Routing.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2011

Testing of a source address validation protocol with parallel parameterized extended finite state machines.

[BibT_eX]

[DOI]

Proceedings of the AINTEC '11, Asian Internet Engineering Conference, Bangkok, Thailand, November 09, 2011

2010

Can Longest Prefix Matching Make The Path Length Shorter?

[BibT_eX]

[DOI]

J. Digit. Content Technol. its Appl., 2010

Real Aggregation for Reducing Routing Information Base Size.

[BibT_eX]

[DOI]

J. Convergence Inf. Technol., 2010

A neutral layered mapping system with two-stage cache for a scalable Internet.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Network and Service Management, 2010

2009

TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communication Systems, 2009

A three-step dynamic threshold method to cluster BGP updates into routing events.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

Measuring IP Address Fragmentation from BGP Routing Dynamics.

[BibT_eX]

[DOI]

Xin Wu

Proceedings of the Scalable Information Systems, 4th International ICST Conference, 2009

The internet measurement of VoIP on different transport layer rotocols.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Information Networking, 2009

SIP Robustness Testing Based on TTCN-3.

[BibT_eX]

[DOI]

Yang Xiang

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

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

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

A formal method to real-time protocol interoperability testing.

[BibT_eX]

[DOI]

Chuanming Jing

Sci. China Ser. F Inf. Sci., 2008

A Formal Approach to Robustness Testing of Network Protocol.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2008

Performance testing of Mobile IPv6 protocol.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

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

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

A Synthetic Streaming Quality Measurement System on IP Networks.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Networks, 2007

2006

Network protocol system monitoring: a formal approach with passive testing.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2006

Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Experience of Conformance Testing on IPv6 Protocols.

[BibT_eX]

[DOI]

Yan Liu

Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

2004

Distributed Testing of Multi Input/Output Transition System.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Testing Multi Input/Output Transition System with All-Observer.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

Towards interoperability test generation of time dependent protocols: a case study.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

2003

Problems in the Information Dissemination of the Internet Routing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

Towards Modeling and Testing of IP Routing Protocols.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002

From Active to Passive - Progress in Testing Internet Routing Protocols.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

A Formal Approach for Passive Testing of Protocol Data Portions.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001

On-Line Test System Applied in Routing Protocol Test.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Modeling, 2001

OnLine Test System, an application of passive testing in routing protocols test.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

Generating fully executable test suite automatically.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2001

IntegTTCN, a TTCN language extension for protocol integrated testing.

[BibT_eX]

[DOI]