Author:
Fecko Mariusz A.,Uyar M. Ümit,Sethi Adarshpal S.,Amer Paul D.
Reference25 articles.
1. -220B (1998). Military Standard - Interoperability Standard for Digital Message Device Subsystems (MIL-STD 188–220B).
2. Aho, A. V., Dahbura, A. T., Lee, D., and Uyar, M. U. (1991). An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. on Communications, 39 (11): 1604–1615.
3. Brinksma, E. (1988). A theory for the derivation of tests. In Proc. IFIP Protocol Specification, Testing, and Verification, VIII. North-Holland, Amsterdam.
4. Cavalli, A. R., Favreau, J. P., and Phallippou, M. (1996). Standardization of formal methods in conformance testing of communication protocols. Computer Networks and ISDN Systems, 29 (1): 3–14.
5. Chan, W. Y. and Vuong, S. T. (1989). An improved protocol test generation procedure based on UIOs. In Proc. ACM SIGCOMM.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献