@article{article, title = {{Heuristics for fault diagnosis when testing from finite state machines}}, publisher = {{Wiley}}, url = {{}}, year = {{2007}}, month = {{3}}, 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/05/25}}}