Jaffar I, Sindhu MA, Ur Rehman S. Explicit State Model Checking Effects on Learning-Based Testing. IJIST [Internet]. 2024 Oct. 28 [cited 2024 Nov. 13];6(7):258-71. Available from: https://journal.50sea.com/index.php/IJIST/article/view/1100