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