JUCÁ, M. A.; http://lattes.cnpq.br/2965835643666014; JUCÁ, Makelli Araújo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-07-01)
The usefulness of the model produced on software development covers a range of activities in the product life cycle, ranging from improving the quality of the specification to the test generation . Model Based Testing is ...