Ting-Kau Leung

Publication Activity (10 Years)

Years Active: 1988-1989
Publications (10 Years): 0

Publications

Deepinder P. Sidhu, Ting-Kau Leung
Formal Methods for Protocol Testing: A Detailed Study. IEEE Trans. Software Eng. 15 (4) (1989)
Deepinder P. Sidhu, Ting-Kau Leung
Experience with test generation for real protocols. SIGCOMM (1988)
Deepinder P. Sidhu, Ting-Kau Leung
Fault coverage of protocol test methods. INFOCOM (1988)