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>Proceedings of the 8th Blockchain Workshop: Theory, Technology and Applications</em>, (pp. 43-56). Porto Alegre: SBC.
doi:10.5753/wblockchain.2025.8787