Navegação Computação por Autor "Azevedo, Edson Eustáchio Oliveira de"
Resultados 1-1 de 1
-
OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
Azevedo, Edson Eustáchio Oliveira de (2002) [Dissertação]A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes ...