SIMÃO, A. S. ; PETRENKO, A. . Generating Checking Sequences for Partial Reduced Finite State Machines. In: 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM), 2008, Tokyo, Japão. Proceedings of 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM). Berlin : Springer, 2008. v. 1. p. 153-168.