FSM-based conformance testing methods: A survey annotated with experimental evaluation-Reference-Cited by-同舟云学术

FSM-based conformance testing methods: A survey annotated with experimental evaluation

Published:2010-12 Issue:12 Volume:52 Page:1286-1297
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Dorofeeva Rita,El-Fakih Khaled,Maag Stephane,Cavalli Ana R.,Yevtushenko Nina

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference42 articles.

1. Test design modeled by finite-state machines;Chow;IEEE Trans. Softw. Eng.,1978

2. M.P. Vasilevskii, in: Failure Diagnosis of Automata, Translated from Kibernetika, vol. 4, 1973, pp. 98–108.

3. Test selection based on finite state models;Fujiwara;IEEE Trans. Softw. Eng.,1991

4. A protocol test generation procedure;Sabnani;Comput. Networks ISDN Syst.,1988

5. S.T. Vuong, W.W.L. Chan, M.R. Ito, The UIOv-method for protocol test sequence generation, in: Proc. of the IFIP TC6 2nd IWPTS, North-Holland, 1989, pp. 161–175.

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

1. Automatic testing of runtime enforcers with Test4Enforcers;Journal of Systems and Software;2024-04

2. Testing and incremental conformance testing of timed state machines;Science of Computer Programming;2024-03

3. Software Platform for the Comprehensive Testing of Transmission Protocols Developed in GNU Radio;Information;2024-01-20

4. An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

5. Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs;IEEE Transactions on Software Engineering;2023-09