I. Jaffar, M. A. Sindhu, and S. Ur Rehman, “Explicit State Model Checking Effects on Learning-Based Testing”, IJIST, vol. 6, no. 7, pp. 258–271, Oct. 2024.