Felipe Fonseca, Matheus Moura, Pedro Henrique Gonzalez, and Diogo Mendonça. 2025.
 Towards the Evolution of Tools for Detecting Vulnerabilities in Smart Contracts: A Case Study of Mythril and Slither. In <em>Proceedings of the 8th Blockchain Workshop: Theory, Technology and Applications</em>, May 19, 2025, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 43-56. DOI: <a href="https://doi.org/10.5753/wblockchain.2025.8787">https://doi.org/10.5753/wblockchain.2025.8787</a>.