Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker. NUML International Journal of Engineering and Computing, v. 2, n. 1, p. 27–42, 26 Jul.2023.