Power of Fuzzing and Machine Learning in Smart Contract Security Validation. - Ghazi Mergani Ali; Hongsong Chen (FSDM, 2023)