Fonseca, Felipe, 		Moura, Matheus, 		Gonzalez, Pedro Henrique, AND 		Mendonça, Diogo.
" Towards the Evolution of Tools for Detecting Vulnerabilities in Smart Contracts: A Case Study of Mythril and Slither" <em>Blockchain Workshop: Theory, Technology and Applications (WBlockchain)</em> [Online], (19 May 2025)