TY  - JOUR

T1  - Efficient State Identification for Finite State Machine-Based Testing.

JO  - IEEE Trans. Software Eng.

PY  - 2025/11/01

AU  - Türker UC

AU  - Hierons RM

AU  - Mousavi MR

AU  - El-Fakih K

ED  - 

VL  - 51

SP  - 2996

EP  - 3012

Y2  - 2025/12/20

ER  -