Jaffar, I., Sindhu, M. A., & Ur Rehman, S. (2024). Explicit State Model Checking Effects on Learning-Based Testing. International Journal of Innovations in Science & Technology, 6(7), 258–271. Retrieved from https://journal.50sea.com/index.php/IJIST/article/view/1100