Mirko Staderini, Andrea Bondavalli. Investigation on Vulnerabilities Location in Solidity Smart Contracts. In Javier Prieto, Alberto Partida, Paulo Leitão, António Pinto, editors, Blockchain and Applications - 3rd International Congress, BLOCKCHAIN 2021, Salamanca, Spain, 6-8 October, 2021. Volume 320 of Lecture Notes in Networks and Systems, pages 199-211, Springer, 2021. [doi]
Abstract is missing.