Synthesis of Self-Testing Finite State Machines from High-Level Specifications.

Vishwani D. Agrawal, Ronald D. Blanton, Maurizio Damiani

Browse the full ITC paper archive.