Testing from Partial Deterministic FSM Specifications

Alexandre Petrenko, Nina Yevtushenko. Testing from Partial Deterministic FSM Specifications. IEEE Transactions on Computers, 54(9):1154-1165, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: