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  - 2024/12/22

ER  -