Jonathan P Bowen, Kirill Bogdanov.FORTEST:Formal methods and testing(2002)[A].Proc COMPSAC 02:26th IEEE Annual International Computer Software and Applications Conference[C].Oxford,UK,2002.91-101.
Miller R E, Arisha K A.Fault identification in networks by passive testing[A].Proceedings of the 34th Annual Simulation Symposium[C].Se atte, WA USA, 2001.277-284.
[4]
Petrenko A, Bochmann G v, Yao M.On fault coverage of tests for finite state specifications[J].Computer Networks and ISDN Systems special issue on Protocol Testing, 1996,29(1):81-106.
