Towards Deriving Test Sequences by Model Checking

The text size have been saved as 90%.

qui, 06/04/2009 - 10:26 — sandrolb

BONIFACIO, A ; MOURA, A ; SIMAO, A ; MALDONADO, J . Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008.