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