Outros Autores: “...http://lattes.cnpq.br/9276676299919657...”

Geração de casos de teste usando Bounded Model Checking