Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines-Reference-Cited by-同舟云学术

Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines

Published:2003-09 Issue:14 Volume:26 Page:1622-1633
ISSN:0140-3664
Container-title:Computer Communications
language:en
Short-container-title:Computer Communications

Author:

Ramalingom T,Thulasiraman K,Das A

Publisher

Elsevier BV

Subject

Computer Networks and Communications

Reference29 articles.

1. ISO SC21 WG1 P54: Information processing systems—open systems interconnection—formal methods in conformance testing, Working document, June 1993.

2. ISO/IEC 9074: Information processing systems—open systems interconnection—ESTELLE-A formal description technique based on an extended state transition model, 1987.

3. CCITT/SGx/WP3-1, Specification and description language, SDL. CCITT recommendations Z.100, 1988.

4. ISO/IEC 8807: Information processing systems—Open systems interconnection—LOTOS—A formal description technique based on the temporal ordering of observational behavior, June 1988.

5. A unified approach to protocol test sequence generation;Chanson;I Proc. IEEE INFOCOM,1993

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

1. Model-based diversity-driven learn-to-rank test case prioritization;Expert Systems with Applications;2024-12

2. Boosting input data sequences generation for testing EFSM-specified systems using deep reinforcement learning;Information and Software Technology;2023-03

3. Diversity Driven Learn-to-Rank Test Case Prioritization for Systems Specified in Efsm;2023

4. Assessing test suites of extended finite state machines against model‐ and code‐based faults;Software Testing, Verification and Reliability;2021-08-18

5. A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences;Information Sciences;2016-11