On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's.

Anthony Chung

Browse the full CAINE paper archive.