(3) Generate the diagnoses
Apply the test cases which specification
transitions include the fault transition in Candi
PosFauFSM [{t*3,t08}] = {{ t3 -> S0 t8 - f ->}}(Possibly-faulty FSM)
Test case: tc6, tc7, tc8, tc9, tc10
PossFaults [{t*3,t08}] = {{ t3 -> S0 t8 - f ->}} (diagnosis)