Oliveira, Arthur, and Johnny Marques.
" Framework para Verificação e Correção Automatizada da Conformidade Sintática de Requisitos de Software baseada em Modelos com Uso de IA." <em>Anais Estendidos do XXIV Simpósio Brasileiro de Qualidade de Software,
São José dos Campos/SP, 2025</em>. SBC, 2025,  
pp.7-14.