Conformance Testing of Protocols Specified as Communicating FSMs.

David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. mit Uyar

Browse the full INFOCOM paper archive.