Resumo
Esta proposta de mestrado está inserida no contexto do projeto \emph{Subsídios para o Teste Estrutural de Aplicações Distribuídas} (FAPESP 2008/04614-5), cujo objetivo central é investigar alternativas para reduzir o custo de aplicação e a eficácia em revelar defeitos dos critérios propostos para aplicações concorrentes. Este projeto de mestrado em particular irá explorar a definição do c…