A Survey of Verification, Validation and Testing Solutions for Smart Contracts. - Chaïmaa Benabbou; Önder Gürcan (BCCA, 2021)