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 15 dentre 15 sites.
Data e hora local de busca: 26/02/2021 17:05.
RohdeEras:2021:MéGeAu
id 8JMKD3MGP3W34R/42L2BFE    Tese ou Dissertação    (1.00)    -m-
Rohde Eras, E. :2021:
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++
metadados (BibTeX | Refer | Como citar? | XML | xrefer | oai_dc | mtd2-br | Capa)
<sid.inpe.br/mtc-m21c/2020/06.08.20.44> (2568 KiB) estatísticas | acessar | baixar
<mtc-m21c.sid.inpe.br>