SILVA, D. A.; http://lattes.cnpq.br/0957879919581462; SILVA, Daniel Aguiar da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-05-26)
Techniques and tools for model based testing have been developed to make the process
of testing distributed concurrent reactive systems more efficient and rigorous. The inherent
nondeterminism of these systems can make ...