1. A.V. Aho, A.T. Dahbura, D. Lee, and M.U. Uyar. An optimization technique for protocol conformance test generation based on UI0 sequences and Rural Chinese Postman Tours. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification, VIII, pages 75–86, Atlantic-City, New Jersey, USA, 1988. Elsevier Science B.V. (North-Holland).
2. E. Brinksma, G. Scollo, and C.A. Vissers, editors. Protocol Specification, Testing, and Verification, IX, Enschede, The Netherlands, 1989. Elsevier Science B.V. (North-Holland).
3. B.S. Bosik and M.U. Uyar. Finite state machine based formal methods in protocol conformance testing: from theory to implementation. Computer Networks and ISDN Systems, 22 (1): 7–33, 1991.
4. W. Chun and P.D. Amer. Test case generation for protocols specified in Estelle. In Quemada et al. [QMV90], pages 191–206.
5. W.Y.L. Chan, S.T. Voung, and M.R. Ito. On test sequence generation for protocols. In Brinksma et al. [BSV89], pages 119–130.