Cleidimar Passos, Josué Campos, Luís Carvalho, Matheus Silva, and José Nacif. 2026.
 NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection. In <em>Anais do XI Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, setembro 08, 2026, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 199-208. DOI: <a href="https://doi.org/10.5753/sast.2026.31443">https://doi.org/10.5753/sast.2026.31443</a>.