Generating checking sequences for partial finite state machines
Adenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)
Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008Berlin Springer 2008
Acesso online. A biblioteca também possui exemplares impressos.