Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains
Validation and Verification of Smart Contracts: A Research Agenda