Automatic executable test case generation for extended finite state machine protocols-Reference-Cited by-同舟云学术

Automatic executable test case generation for extended finite state machine protocols

Published:1997 Issue: Volume: Page:75-90
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-35198-8_6

Reference7 articles.

1. Bochmann, G. v. Das, A. Dssouli, R. Dubuc, M. Ghedamsi, A. and Luo, G. (1991) Fault models and their use in Testing. Proc. IFIP Intern. Workshop on Protocol Test Systems (invited paper), pp. (II-17)-(II-32).

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

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

4. Ramalingom, T. Das, A. and Thulasiraman, K. (1995). A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences. International Workshop on Protocol Test Systems (IWPTS), Evry, 4–6 September.

5. Sarikaya, B. and Bochmann, G.v. (1986) Obtaining Normal Form Specifications for Protocols. In Computer Network Usage: Recent Experiences, Elsevier Science Publishers.

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

1. MATTER: A tool for generating end-to-end IoT test scripts;Software Quality Journal;2021-08-03

2. Correctly Slicing Extended Finite State Machines;From Lambda Calculus to Cybersecurity Through Program Analysis;2020

3. Automatic test case generation from UML state machine diagrams;Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming;2019-04

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

5. Event tree algorithms to generate test sequences for composite Web services;Software Testing, Verification and Reliability;2017-06-07