Generating Checking Sequences for Partial Reduced Finite State Machines

The text size have been saved as 90%.

qui, 06/04/2009 - 11:00 — sandrolb

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.