Chi, Caixia; Hao, Ruibing Test generation for interaction detection in feature-rich communication systems. (English) Zbl 1119.68018 Comput. Netw. 51, No. 2, 426-438 (2007). MSC: 68M10 × Cite Format Result Cite Review PDF Full Text: DOI
Hao, Ruibing; Wu, Jianping A formal approach to protocol interoperability testing. (English) Zbl 0893.68040 J. Comput. Sci. Technol. 13, No. 1, 79-90 (1998). MSC: 68N99 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI