1. SolAnalyser: A Framework for Analysing and Testing Smart Contracts;Sefa Akca;2019 26th Asia-Pacific Software Engineering Conference (APSEC),2019
2. Blockchain Based Smart Contracts : A Systematic Mapping Study;Maher Alharby;Computer Science & Information Technology (CS & IT),2017
3. Verification of smart contracts: A survey;Mouhamad Almakhour;Pervasive and Mobile Computing,2020
4. Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms;Mario M Mauro C Arga�araz;9th Symposium on Languages, Applications and Technologies (SLATE 2020),2020