Samuel T. Chanson, Jinsong Zhu. Automatic Protocol Test Suite Derivation. In INFOCOM. pages 792-799, 1994.
@inproceedings{ChansonZ94, title = {Automatic Protocol Test Suite Derivation}, author = {Samuel T. Chanson and Jinsong Zhu}, year = {1994}, tags = {protocol, testing}, researchr = {https://researchr.org/publication/ChansonZ94}, cites = {0}, citedby = {0}, pages = {792-799}, booktitle = {INFOCOM}, }