Protocol Conformance Testing Using Unique Input/output Sequences