An empirical evaluation of a model-based software testing tool - Villalobos Arias, Leonardo 1994- (Tesis (licenciatura en computación e informática)–Universidad de Costa Rica. Facultad de Ingeniería. Escuela de Ciencias de la Computación e Informática, 2018, 2018)