TY  - JOUR

T1  - Heuristics for fault diagnosis when testing from finite state machines

JO  - Software Testing, Verification and Reliability

UR  - https://doi.org/10.1002/stvr.352

PY  - 2006/06/22

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/11/05

ER  -