1. ISO/IEC. ISO/IEC 9646. Information technology, open systems interconnection, conformance testing methodology and framework. Geneva, Switzerland: ISO/IEC, 1991
2. Hao R B, Wu J P. A formal approach to protocol interoperability testing. J Comput Sci Technol, 1998, 13(1): 79–90
3. Viho C, Barbin S, Tanguy L. Towards a formal framework for interoperability testing. In: Kim M, Chin B, Kang S, et al., eds. Proceedings of the 21st IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001). Cheju Island, Korea: Kluwer, 2001. 53–68
4. Rafiq O, Castanet R. From conformance testing to interoperability testing. In: Davidson I, Litwack D W, eds. Proceedings of the 3rd IFIP International Workshop on Protocol Test Systems. Virginia, USA: Elsevier Science Publishers, 1990. 371–385
5. Kang S, Shin J, Kim M. Interoperability test suite derivation for communication protocols. Comput Netw, 2000, 32(3): 347–364