@article{article, title = {{Efficient state identification for finite state machine-based testing}}, publisher = {{Institute of Electrical and Electronics Engineers}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/230260 }}, year = {{2025}}, month = {{9}}, author = {{Turker U and Hierons R and Mousavi MR and El-Fakih K}}, doi = {{10.1109/TSE.2025.3604472}}, journal = {{IEEE Transactions on Software Engineering}}, note = {{Accessed on 2025/11/18}}}