A novel method based on log files for Smart Contract testing