Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
ROHDE ERAS, E. 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++. 2021. 97 p. IBI: <8JMKD3MGP3W34R/42L2BFE>. (sid.inpe.br/mtc-m21c/2020/06.08.20.44-TDI). Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, 2020. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34R/42L2BFE>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Rohde Eras (2021).
... pode ser encontrada na literatura (ROHDE ERAS, 2021).