OURIQUES, J. F. S.; http://lattes.cnpq.br/5942038723451559; OURIQUES, João Felipe Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-12-12)
Software Testing is an expensive and laborious task among the Verification and Validation ones. Nevertheless testing is still the main way of assessing the quality of systems under
development. In Model-Based Testing ...