OLIVEIRA, Arthur H. M. de; 						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. <em>In</em>: WORKSHOP DE TESES E DISSERTAÇÕES EM QUALIDADE DE SOFTWARE - SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS), 24.	, 2025, São José dos Campos/SP.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 7-14. 
		DOI: <a href="https://doi.org/10.5753/sbqs_estendido.2025.15823">https://doi.org/10.5753/sbqs_estendido.2025.15823</a>.