1. A.V. Aho, A.T. Dahbura, D. Lee, M.U. Uyar, An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours, in: Protocol Specification, Testing, and Verification, vol. VIII, Atlantic City, Elsevier, North-Holland, 1988, pp. 75–86.
2. J. Grabowski, R. Scheurer, D. Toggweiler, D. Hogrefe, Dealing with the complexity of state exploration algorithms for SDL systems, University of Bern Technical Report, IAM-95-010, 1995.
3. Specification and analysis of intercomponent communication;Heimdahl;IEEE Computer,1998
4. Extending test sequence overlap by invertibility;Hierons;The Computer Journal,1996
5. Testing from a finite state machine: extending invertibility to sequences;Hierons;The Computer Journal,1997