Testability driven synthesis of interacting finite state machines.

Pranav Ashar, Srinivas Devadas, A. Richard Newton

Browse the full ICCD paper archive.