Oliveira, A., & Marques, J. 2025 nov 4. Framework para Verificação e Correção Automatizada da Conformidade Sintática de Requisitos de Software baseada em Modelos com Uso de IA. Anais Estendidos do Simpósio Brasileiro de Qualidade de Software (SBQS). [Online] :