Jaffar, Iram, Muddassar Azam Sindhu, and Shafiq Ur Rehman. 2024. “Explicit State Model Checking Effects on Learning-Based Testing”. International Journal of Innovations in Science & Technology 6 (7):258-71. https://journal.50sea.com/index.php/IJIST/article/view/1100.