F. C. Hennie
Checking Test Suite Completeness with Partial FSMs and Weak Equivalence
Exponentially more Succinct Test Suites
Partial FSM Models and Completeness with Blocking Test Cases