Testing Finite State Machines (Extended Abstract)

Mihalis Yannakakis, David Lee

Browse the full STOC paper archive.