Jaffar, I., M. A. Sindhu, and S. Ur Rehman. “Explicit State Model Checking Effects on Learning-Based Testing”. International Journal of Innovations in Science & Technology, vol. 6, no. 7, Oct. 2024, pp. 258-71, https://journal.50sea.com/index.php/IJIST/article/view/1100.