An empirical evaluation of a model-based software testing tool - Villalobos Arias, Leonardo 1994- (2018)