2023. Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker. NUML International Journal of Engineering and Computing. 2, 1 (Jul. 2023), 27–42. DOI:https://doi.org/10.52015/nijec.v2i1.32.