On fault coverage of tests for finite state specifications-Reference-Cited by-同舟云学术

On fault coverage of tests for finite state specifications

Published:1996-12 Issue:1 Volume:29 Page:81-106
ISSN:0169-7552
Container-title:Computer Networks and ISDN Systems
language:en
Short-container-title:Computer Networks and ISDN Systems

Author:

Petrenko A.,Bochmann G.v.,Yao M.

Publisher

Elsevier BV

Subject

General Engineering

Reference81 articles.

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

2. J. Grabowski, D. Hogrefe, and R. Nahm, “Test case generation with test purpose specification by MSGs”, Proc. 6th IFIP WG 6.1 Internat. Conf. on Formal Description Techniques, FORTE'93, pp. 253–265.

3. Evaluation of an empirical approach for computer-aided test case generation;Phalippou,1991

4. H. Ural and A. Williams, “Test generation by exposing control and data dependencies within system specification in SDL”, Proc. FORTE'93.

5. Test coverage metrics for communication protocols;Vuong,1992

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

1. Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search;Information and Software Technology;2021-07

2. A Synchronized Test Control Execution Model of Distributed Systems;Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing;2021

3. A Synchronized Test Control Execution Model of Distributed Systems;International Journal of Grid and High Performance Computing;2020-01

4. Generating Reduced Tests for FSMs using a Search-Based Testing Approach;2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI);2019-11

5. Fault-based refinement-testing for CSP;Software Quality Journal;2019-03-21