Test Result Analysis and Diagnostics for Finite State Machines.

Abderrazak Ghedamsi, Gregor von Bochmann

Browse the full ICDCS paper archive.