Author:
Chen Mon-Song,Choi Yanghee,Kershenbaum Aaron
Reference20 articles.
1. Aho, A., A. Dahbura, D. Lee, and M. Umit Uyar. “An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours” Symposium of Protocol Specification, Testing, and Verification, 1988
2. Bolognesi, T. and Brinksma, E., “Introduction to the ISO specification language LOTOS”, Computer Networks and ISDN Systems, Vol. 14, No. 1 (1987) pp. 25–59.
3. Budkowski, S. and Dembinski, P., “An introduction to Estelle: A specification language for distributed systems”, Computer Networks and ISDN Systems, Vol. 14, No. 1 (1987) pp. 3–23.
4. Chow, T., “Testing Software Design Modeled by Finite-State Machines,” IEEE Trans. Software Eng., vol. SE-4, pp. 178–187, Mar. 1978
5. Dimitrijevic, D. and M-S. Chen, “An Integrated Algorithm for Probabilistic Protocol Verification and Evaluation,” To appear in Proc. INFOCOM 89
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献