Towards evaluating fault coverage of protocol test sequences

Jinsong Zhu, Samuel T. Chanson. Towards evaluating fault coverage of protocol test sequences. In Son T. Vuong, Samuel T. Chanson, editors, Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. Volume 1 of IFIP Conference Proceedings, pages 137-151, Chapman & Hall, 1994.