Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2020/06.08.20.44.11-0:pt:title:2:teste c++ metodo singularity:singularity metodo geracao automatica casos teste unitarios baseado contraexemplos verificador modelos aplicacoes c++:>.
1 referência similar encontrada (inclusive a original) buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 24/04/2024 04:57.
Singularity: um método para geração automática de casos de teste unitários baseado em contraexemplos de verificador de modelos para aplicações em C++
Rohde Eras, E.

Tese ou Dissertação - sem Qualis - 2021 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00