Author:
Cutigi Jorge Francisco,Simao Adenilso,Souza Simone R.S.
Publisher
Oxford University Press (OUP)
Reference31 articles.
1. Moore E.F. (1956) Gedanken-Experiments on Sequential Machines. In Shannon, C. and McCarthy, J. (eds), Automata Studies, pp. 129–153. Princeton University Press, Princeton, NJ.
2. Hennie F.C. (1964) Fault Detecting Experiments for Sequential Circuits. SWCT'64: Proc. Fifth Annual Symp. Switching Circuit Theory and Logical Design, Washington, DC, USA, pp. 95–110. IEEE Computer Society.
3. Testing software design modeled by finite-state-machines;Chow;IEEE Transactions on Software Engineering,1978
4. Test selection based on finite state models
5. Petrenko A. , Yevtushenko N. , Lebedev A. and Das A. (1994) Nondeterministic State Machines in Protocol Conformance Testing. Proc. IFIP TC6/WG6.1 6th Int. Workshop on Protocol Test Systems VI, Amsterdam, The Netherlands, pp. 363–378. North-Holland Publishing Co.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献