Oliveira, Arthur, E Marques, Johnny. " 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], (4 novembro 2025)