“Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker”. NUML International Journal of Engineering and Computing 2, no. 1 (July 26, 2023): 27–42. Accessed August 18, 2026. https://nijec.numl.edu.pk/index.php/nijec/article/view/32.