Resumo
Este projeto de Iniciação Científica está inserido no contexto do projeto TestPar - Teste de software aplicado a Programas Concorrentes, cujo objetivo central é a proposição de técnicas, critérios e ferramentas de teste para apoiar a validação de programas concorrentes. No estado atual das pesquisas, foram propostas formas de testar programas concorrentes em diferentes paradigmas, dentre …