NASCIMENTO, L. H. O.; http://lattes.cnpq.br/8499386714790670; NASCIMENTO, Laísa Helena Oliveira do. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-02-28)
Software testing processes have become more common in industry. Companies are investing on the definition and the formalization of their test processes and, in this context,
Model-Based Testing (MBT) appears as an interesting ...