Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
ERAS, E. R. Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. In: WORKSHOP DE COMPUTAÇÃO APLICADA, 19. (WORCAP), 2019, São José dos Campos, SP. Anais... 2019. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34R/49NED9B>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Eras (2019).
... pode ser encontrada na literatura (ERAS, 2019).