This article is unavailable. Guo G, Hierons R M, Harman M and Derderian K (2007). Heuristics for fault diagnosing when testing fromfinite state machines.The Journal of Software Testing, Verification and Reliability. 17(1) 41-57. Wiley.