Geração de casos de teste usando Bounded Model Checking
A geração automática de casos de teste consiste na geração de entradas para um algoritmo que sejam capazes de explorar todos os caminhos de um programa, maximizando a cobertura. Comumente, técnicas como fuzzing são utilizadas para isso por sua performance alta e de custo baixo. Entretanto, técnicas...
| Autor principal: | Menezes, Rafael Sá |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/9276676299919657, https://orcid.org/0000-0002-6102-4343 |
| Grau: | Dissertação |
| Idioma: | por |
| Publicado em: |
Universidade Federal do Amazonas
2021
|
| Assuntos: | |
| Acesso em linha: |
https://tede.ufam.edu.br/handle/tede/8447 |