Title: Protocol Conformance Testing Using Unique Input/Output Sequences