“Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker”, NIJEC, vol. 2, no. 1, pp. 27–42, Jul. 2023, doi: 10.52015/nijec.v2i1.32.