Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols.

Raymond E. Miller, Sanjoy Paul

Browse the full INFOCOM paper archive.