Automated Generation of Interoperability Tests-Reference-Cited by-同舟云学术

Automated Generation of Interoperability Tests

Published:2002 Issue: Volume: Page:169-184
ISSN:1868-4238
Container-title:IFIP Advances in Information and Communication Technology
language:
Short-container-title:

Author:

Besse Cédric,Cavalli Ana,Kim Myungchul,Zadi Fatiha

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35497-2_12

Reference16 articles.

1. RFC 793: Transmission Control Protocol, September 1981.

2. C. Besse, A. Cavalli, and D. Lee. An automatic and optimized test generation technique. applying to TCP/IP protocol. In ASE’99 (14th IEEE International Conference on Automated Software Engineering), october 12–15 1999.

3. Grard Bonnes. IBM OSI Interoperability Services. In Protocol Test Systems, III. North-Holland, 1991.

4. R. Castanet and O. Kone. Deriving coordinated testers for interoperability. Protocol Test Systems, VI (C-19):331–345, 1994. Elsevier Science Publ B. V.(NorthHolland).

5. A. Cavalli, D. Lee, Ch. Rinderknecht, and F. Zadi. Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services. In Formal Methods for Protocol Engineering And Distributed Systems, pages 41–56. Kluwer Academic, October 1999.

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

1. An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol;Journal of Software: Evolution and Process;2021-12-06

2. A generic interoperability testing framework and a systematic development process for automated interoperability testing;International Journal on Software Tools for Technology Transfer;2013-06-25

3. Application of a formal testing methodology to wireless telephony networks;Journal of the Brazilian Computer Society;2004-06

4. Test suite minimization for testing in context;Software Testing, Verification and Reliability;2003