1Yxin Zhao, Jianping Wu, Xia Yin. From Active to passive -- progress in testing of internet routing protocols (Extended Version)[J]. Journal of Computer Science and Technology , 2002, 17(2):264-283.
2Lee D, Yannakakis M. Principles and methods of testing finite state machines - a survey[C]. Proc. of the IEEE, Aug 1996:84,1090-1123.