Checking completeness of tests for finite state machines
Adenilso da Silva Simão Alexandre Petrenko
IEEE Transactions on Computers Los Alamitos : IEEE Computer Society v. 59, n. 8, p. 1023-1032, aug. 2010
Los Alamitos 2010
Acesso online. A biblioteca também possui exemplares impressos.