Villalobos-Arias, L., Quesada-López, C., Martinez, A., Jenkins, M., 2019. Model-based testing areas, tools and challenges: A tertiary study 22.. https://doi.org/10.19153/cleiej.22.1.3