TY - JOUR T1 - Heuristics for fault diagnosis when testing from finite state machines JO - Software Testing, Verification and Reliability PY - 2007/03/01 AU - Guo Q AU - Hierons RM AU - Harman M AU - Derderian K ED - DO - DOI: 10.1002/stvr.352 PB - Wiley VL - 17 IS - 1 SP - 41 EP - 57 Y2 - 2025/05/24 ER -