Synchronizable test sequence for multi-party protocol conformance testing-Reference-Cited by-同舟云学术

Synchronizable test sequence for multi-party protocol conformance testing

Published:1998-09 Issue:13 Volume:21 Page:1177-1183
ISSN:0140-3664
Container-title:Computer Communications
language:en
Short-container-title:Computer Communications

Author:

Wu Wen-Jer,Chen Wen-Huei,Tang Chuan Yi

Publisher

Elsevier BV

Subject

Computer Networks and Communications

Reference26 articles.

1. OSI conformance testing;Rayner;Computer Networks and ISDN Systems,1987

2. Synchronization and specification issues in protocol testing;Sarikaya;IEEE Trans. on Communications Com-,1984

3. S.T. Chanson, S.T. Vuong, H. Dany, The ferry clip approach to multi-party testing, in: Proc. IFIP, 3rd Int. Workshop on Protocol Test Systems, McLean, VA, October 1990.

4. G. von Bochmann, C.A. Sunshine, A survey of formal methods, in: P.E. Green (Ed.), Computer Networks and Protocols, Plenum Press, New York, 1983, pp. 561–578.

5. Formal methods for test sequence generation;Ural;Computer Communications,1992

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

1. Implementation Relations for Distributed Testing;Lecture Notes in Computer Science;2023

2. Application-oriented Serial Interface Communication Protocols Formal Modeling Method;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12

3. Implementation relations and probabilistic schedulers in the distributed test architecture;Journal of Systems and Software;2017-10

4. A More Precise Implementation Relation for Distributed Testing;The Computer Journal;2015-08-05

5. Generating Complete Controllable Test Suites for Distributed Testing;IEEE Transactions on Software Engineering;2015-03-01