Fonseca, F., 		Moura, M., 		Gonzalez, P., & 		Mendonça, D.
(2025).
 Towards the Evolution of Tools for Detecting Vulnerabilities in Smart Contracts: A Case Study of Mythril and Slither.
In <em>Anais do VIII Workshop em Blockchain: Teoria, Tecnologias e Aplicações</em>, (pp. 43-56). Porto Alegre: SBC.
doi:10.5753/wblockchain.2025.8787