Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
ERAS, E. R.; SANTIAGO JÚNIOR, V. A.; SANTOS, L. Singularity: a methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. In: BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST), 4., , Salbador, BA. (campo ausente ou vazio: 'booktitle') 2019. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34R/3U536P2>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Eras, Santiago Júnior e Santos (2019).
... pode ser encontrada na literatura (ERAS; SANTIAGO JÚNIOR; SANTOS, 2019).