Outros Autores: “...https://orcid.org/0000-0002-6102-4343...”

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