the Generation of Minimal-Length Conformance Tests for Communication Protocols (1993)

by R E Miller, “On S Paul
Venue:IEEE/ACM Transactions on Networking