Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference15 articles.
1. Model-Based Testing of Reactive Systems: Advanced Lectures;Broy,2005
2. Generating checking sequences for partial reduced finite state machines;da Silva Simão,2008
3. Switching and Finite State Automata Theory;Kohavi,1978
4. Testing software design modelled by finite state machines;Chow;IEEE Trans. Softw. Eng.,1978
5. A protocol test generation procedure;Sabnani;Comput. Netw.,1988
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献