Search
Now showing items 1-1 of 1
Validation and verification of Finite State Machines
(1993)
This dissertation presents several new results for automatically generating conformance test sequences for communication protocols by means of Unique Input/Output (UIO) sequences based on Finite State Machine (FSM). UIO ...