A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols-Reference-Cited by-同舟云学术

A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols

Published:1998 Issue: Volume: Page:279-294
ISSN:
Container-title:Testing of Communicating Systems
language:
Short-container-title:

Author:

Bourhfir C.,Dssouli R.,Aboulhamid E.,Rico N.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35381-4_17

Reference13 articles.

1. C. Bourhfir, R. Dssouli, E. Aboulhamid, N. Rico (1997), “Automatic executable test case generation for EFSM specified protocols”, IWTCS, Chapman Hall pp. 75–90.

2. Chanson, S. T. and Zhu, J.(1993) A Unified Approach to Protocol Test Sequence Generation. In Proc. IEEE INFOCOM.

3. E. W. Dijkstra (1959), “A note on two problems in connection with graphs”, Numer. Math. 1 pp. 269–271.

4. M. G. Gouda, Y. T. Yu (1984), “Protocol Validation by Maximal Progressive Exploration”, IEEE Trans. on Comm. Vol. 32, No. 1, January.

5. Huang, C.M. Lin, Y.C. and Jang, M.Y. (1995) An Executable Protocol Test Sequence Generation Method for EFSM-Specified Protocols (IWPTS), Evry, 4–6 September.

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

1. Model-Based Testing of Smart Home Systems Using EFSM and CEFSM;2021 International Conference on Computational Science and Computational Intelligence (CSCI);2021-12

2. Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems;Communications in Computer and Information Science;2018

3. Scalable Incremental Test-case Generation from Large Behavior Models;Tests and Proofs;2015

4. SETER;International Journal of Secure Software Engineering;2012-07

5. New approaches for passive testing using an Extended Finite State Machine specification;Information and Software Technology;2003-09