1
“...A geração automática de casos de teste consiste na geração de entradas para um algoritmo...”
Geração de casos de teste usando Bounded Model Checking
Dissertação