Detecting functional and security-related issues in smart contracts: A systematic literature review. - Valentina Piantadosi; Giovanni Rosa; Davide Placella; Simone Scalabrino; Rocco Oliveto (Softw. Pract. Exp., 2023)