@article{article, title = {{Heuristics for fault diagnosis when testing from finite state machines}}, publisher = {{Wiley}}, url = {{https://doi.org/10.1002/stvr.352 }}, year = {{2006}}, month = {{6}}, author = {{Guo Q and Hierons RM and Harman M and Derderian K}}, doi = {{10.1002/stvr.352}}, volume = {{17}}, journal = {{Software Testing, Verification and Reliability}}, issue = {{1}}, pages = {{41-57}}, note = {{Accessed on 2025/11/05}}}