A formal approach to protocol interoperability testing-Reference-Cited by-同舟云学术

A formal approach to protocol interoperability testing

Published:1998-01 Issue:1 Volume:13 Page:79-90
ISSN:1000-9000
Container-title:Journal of Computer Science and Technology
language:en
Short-container-title:J. of Comput. Sci. & Technol.

Author:

Hao Ruibing,Wu Jianping

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF02946617.pdf

Reference9 articles.

1. Hogrefe D, Status report on FMCT project. InInternational Workshop of Protocol Test System, IFIP, 1994, pp.165–180.

2. Tretmans Gerrit Jan. A Formal Approach to Conformance Testing. Ph.D. Thesis, University of Twente, Neither Land, 1992.

3. Huang C M, Lin Y C, Jang M Y. An executable protocol test sequence generation method for EFSM-specified protocols. InInternational Workshop of Protocol Test System, 1995.

4. Hao R B, Wu J P, Shi M L. Toward formal TTCN-based test executing. InINFOCOM’97, Osaka, Japan.

5. Sungwon Kang, Kim Myungchul. Test sequence generation for adaptive interoperability testing. InInternational Workshop of Protocol Test System, 1994.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Systematic Mapping Study on Test Generation from Input/Output Transition Systems;2015 41st Euromicro Conference on Software Engineering and Advanced Applications;2015-08

2. A formal method to real-time protocol interoperability testing;Science in China Series F: Information Sciences;2008-10-16