Efficient State Identification for Finite State Machine-Based Testing - Turker, U.C.; Hierons, R.M.; Mousavi, M.R.; El-Fakih, K. (IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions on, IIEEE Trans. Software Eng., 2025)