OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
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 na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10183/1618 |