Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
BARROS, L.; HIRATA, C.; MARQUES, J.; AMBRÓSIO, A. M. Generating test cases to evaluate and improve processes of safety-critical systems development. In: INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS, 31., , Coimbra, Portugal. Proceedings... 2020. p. 311-318. On-line. ISBN 978-172819870-5. DOI: <10.1109/ISSREW51248.2020.00090>. Disponível em: <http://doi.org/10.1109/ISSREW51248.2020.00090>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Barros et al. (2020).
... pode ser encontrada na literatura (BARROS et al., 2020).