Author:
Simão A.,Petrenko A.,Maldonado J.C.
Publisher
Institution of Engineering and Technology (IET)
Subject
Computer Graphics and Computer-Aided Design
Reference14 articles.
1. Binder, R.: ‘Testing object-oriented systems’, (Addison-Wesley Inc. 2000)
2. A formal analysis of the fault-detecting ability of testing methods
3. Moore, E.F.: ‘Gedanken-experiments on sequential machines’, (Princeton University Press, Princeton, New Jersey 1956),Automata studies, Annals of mathematics series, 34, p. 129–153
4. Experimental evaluation of FSM-based testing methods
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing and incremental conformance testing of timed state machines;Science of Computer Programming;2024-03
2. Analysis of mutation operators for FSM testing;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
3. Improving Model Learning by Inferring Separating Sequences from Traces;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
4. Novel Strategy Generating Variable-Length State Machine Test Paths;International Journal of Software Engineering and Knowledge Engineering;2022-08
5. Conformance Testing for Finite State Machines Guided by Deep Neural Network;Journal of Circuits, Systems and Computers;2022-02-17