An optimization technique for protocol conformance test generation based (1988)

by A V Aho, A T Dahbura, D Lee, M U Uyar
Venue:on UIO sequences and Rural Chinese Postman Tours. Protocol Specification, Testing, and Verification VIII