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>Proceedings of the 8th Blockchain Workshop: Theory, Technology and Applications,
Natal/RN, 2025</em>. SBC, 2025,  
pp.43-56.