7Zhang Y,Li Z. A New Formal Test Suite Specification Language for IPv6 Conformance Testing[C]//Proceedings of ICCT2003. 2003 : 174-177.
8Wu J,Samuel T,Gao Q. Formal Methods for Protocol Engineering and Distributed Systems[M]. Kluwer Academic Publishers, 2001.
9Tian J, Li Z. The Next Generation Internet Protocol and its Test [C]//Proceedings of IEEE International Conference on Communication. 2001 : 210-215.
10Zhang F,Cheung T. Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterrninistic Finite State Max chines[J]. IEEE Transactions on Software Engineering, 2003,29 (1):1-14.
