Fault detecting experiments for sequential circuits
Exponentially more Succinct Test Suites
Checking Test Suite Completeness with Partial FSMs and Weak Equivalence
Partial FSM Models and Completeness with Blocking Test Cases