Resumo
Esta proposta de iniciação científica está inserida no contexto do projeto 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 porpostos para aplicações concorrentes. Em particular este projeto pretende analisar abordagens para id…