Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
AMARAL, A. S. M. S. Geração de casos de teste para sistemas especificados em statecharts. 2005. 162 p. IBI: <6qtX3pFwXQZGivnJSY/KaKea>. (INPE-14215-TDI/1116). Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, 2005. Disponível em: <http://urlib.net/ibi/6qtX3pFwXQZGivnJSY/KaKea>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Amaral (2005).
... pode ser encontrada na literatura (AMARAL, 2005).