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