Arthur Oliveira and Johnny Marques. 2025. Framework para Verificação e Correção Automatizada da Conformidade Sintática de Requisitos de Software baseada em Modelos com Uso de IA. In Anais Estendidos do XXIV Simpósio Brasileiro de Qualidade de Software, novembro 04, 2025, São José dos Campos/SP, Brasil. SBC, Porto Alegre, Brasil, 7-14. DOI: https://doi.org/10.5753/sbqs_estendido.2025.15823.