Jaffar, I.; Sindhu, M. A.; Ur Rehman, S. Explicit State Model Checking Effects on Learning-Based Testing. IJIST 2024, 6, 258-271.