Detecting functional and security-related issues in smart contracts: A systematic literature review[J] SOFTWARE-PRACTICE & EXPERIENCE Piantadosi, Valentina Rosa, Giovanni Placella, Davide Scalabrino, Simone Oliveto, Rocco