TY  - RPRT
TI  - A Survey of Verification, Validation and Testing Solutions for Smart Contracts
AU  - Chaïmaa Benabbou
AU  - Önder Gürcan
PY  - 2021
UR  - https://arxiv.org/abs/2112.03426
ID  - 2112.03426
ER  -