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]

Abstract

Abstract is missing.