F. Fonseca, M. Moura, P. Gonzalez, and D. Mendonça.
" 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>, Natal/RN, 2025, pp. 43-56, doi: <a href="https://doi.org/10.5753/wblockchain.2025.8787">https://doi.org/10.5753/wblockchain.2025.8787</a>.