Valentina Piantadosi, Giovanni Rosa, Davide Placella, Simone Scalabrino, Rocco Oliveto. Detecting functional and security-related issues in smart contracts: A systematic literature review. Software: Practice and Experience, 53(2):465-495, 2023. [doi]
Abstract is missing.