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. 6173.
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. 
