zhao, 2000, Study of routing protocol test, Proceeding of CERNET 2000, 412
alaettinoglu, 1994, Design and implementation of MaRS: a routing testbed, Internetworking Research and Experience, 5, 17
1999, Agilent technology
2000, Netcom System
1991, Information Technology, Open System Interconnection, Conformance Testing Methodology and Framework, IS-9646 ISO
walter, 1998, Test Architecture for Distributed Systems - State of the Art and Beyond. Testing of Communicating Systems, 149
rekhter, 1995, A Border Gateway Protocol 4 (BGP-4), RFC 1771
ruibing, 2000, Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool, Proceeding of FORTE/PSTV2000, 142
hedrick, 1988, Routing Information Protocol, RFC 1058
moy, 1998, OSPF Version 2, RFC 2178
zhao, 2000, Test of BGP-4 based on the Protocol Integrated Test System, Proceeding of APCC'2000, 347
wu, 1998, PITS-The protocol integrated test system based on formal technology, Journal of Tsinghua University, 38, 26
zhao, 2001, Enhanced Reference Implementation Applied in Routing Protocol Test, Proceeding of ICACT 2001, 80