Subject
Computer Science Applications,Information Systems,Software
Reference15 articles.
1. Checking Experiments with Protocol Machines;Petrenko,1991
2. On reducing test length for FSMs with extra states, software testing;Simão;Verif. Reliab.,2012
3. Incomplete distinguishing sequences for finite state machines;Hierons;Comput. J.,2015
4. Failure diagnosis of automata;Vasilevskii;Cybern. Syst. Anal.,1973
5. Testing software design modeled by finite-state machines, software engineering;Chow;IEEE Trans.,1978
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. GPU acceleration of finite state machine input execution: Improving scale and performance;Software Testing, Verification and Reliability;2021-10-08