Title: Protocol conformance testing using unique input/output sequences
Subjects: Computer network protocols, Mathematical models, Testing, Sequential machine theory