Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
The demand for secure and robust systems has made to grow the concern for developing quality software. Software Testing and Formal Methods are two approaches that have this purpose. In this context, several efforts are being made to unite these two approaches, which can complement each other and...
Na minha lista:
Autor principal: | |
---|---|
Outros Autores: | |
Formato: | Dissertação |
Idioma: | por |
Publicado em: |
Brasil
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/26067 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|