Fault coverage of protocol test methods. - Deepinder P. Sidhu; Ting-Kau Leung (INFOCOM, 1988)

Experience with test generation for real protocols. - Deepinder P. Sidhu; Ting-Kau Leung (SIGCOMM, 1988)

Formal Methods for Protocol Testing: A Detailed Study. - Deepinder P. Sidhu; Ting-Kau Leung (IEEE Trans. Software Eng., 1989)