Resumo
A automatização da geração de casos de teste a partir de requisitos do sistema ou do código é fundamental para a aplicação prática de testes que contemplem critérios com o objetivo de assegurar a qualidade do software. O desenvolvimento de técnicas para geração automática de conjuntos completos de casos de testes que satisfaçam critérios baseados em fluxo de controle e fluxo de objetos de…