Multi-Level Test Generation and Fault Diagnosis for Finite State Machines.

Raimund Ubar, Marina Brik

Browse the full EDCC paper archive.