Efficient State Identification for Finite State Machine-Based Testing

Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi 0001, Khaled El-Fakih. Efficient State Identification for Finite State Machine-Based Testing. IEEE Trans. Software Eng., 51(11):2996-3012, November 2025. [doi]

Abstract

Abstract is missing.