Jaffar, I., Sindhu, M.A. and Ur Rehman, S. 2024. Explicit State Model Checking Effects on Learning-Based Testing. International Journal of Innovations in Science & Technology. 6, 7 (Oct. 2024), 258–271.