Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker. NIJEC [Internet]. 2023 Jul. 26 [cited 2026 Aug. 18];2(1):27-42. Available from: https://nijec.numl.edu.pk/index.php/nijec/article/view/32