Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
MARIANO, M. M. Identifying efficient approaches to automatically generate test cases in model based testing. 2019. 74 p. IBI: <8JMKD3MGP3W34R/3T5LM62>. (sid.inpe.br/mtc-m21c/2019/04.15.15.09-TDI). Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, 2019. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34R/3T5LM62>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Mariano (2019).
... pode ser encontrada na literatura (MARIANO, 2019).