Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker. NIJEC 2023, 2 (1), 27-42. https://doi.org/10.52015/nijec.v2i1.32.