Oliveira, Arthur, and Johnny Marques.
" Framework for Automated Verification and Correction of Model-Based Syntactic Conformance of Software Requirements Using AI." <em>Companion Proceedings of the 24th Brazilian Symposium on Software Quality,
São José dos Campos/SP, 2025</em>. SBC, 2025,  
pp.7-14.