Fonseca, Felipe, Matheus dos Santos Moura, Pedro Henrique Gonzalez, and Diogo Silveira Mendonça.
" Towards the Evolution of Tools for Detecting Vulnerabilities in Smart Contracts: A Case Study of Mythril and Slither." <em>Anais do VIII Workshop em Blockchain: Teoria, Tecnologias e Aplicações,
Natal/RN, 2025</em>. SBC, 2025,  
pp.43-56.