index
I.B.Bourdonov, A.S. Kossatchev , V. V. Kulyamin.
Application of Finite Automatons for Program Testing.
Programming and Computer Software, Vol. 26, No. 2, 2000,  p. 61-73.
13 стр.
pdf, $_€_£_html

Abstract

The application of the finite automaton theory to the problem of program testing is discussed. The problem is reduced to testing a finite automaton. Testing of automatons using their state graphs, factor graphs, testing using factor graphs, and methods for factor graphs construction are discussed.