TY - JOUR T1 - Efficient state identification for finite state machine-based testing JO - IEEE Transactions on Software Engineering PY - 2025/08/06 AU - Turker U AU - Hierons R AU - Mousavi MR AU - El-Fakih K ED - PB - Institute of Electrical and Electronics Engineers Y2 - 2025/08/17 ER -