TY  - RPRT
TI  - Do you still need a manual smart contract audit?
AU  - Isaac David
AU  - Liyi Zhou
AU  - Kaihua Qin
AU  - Dawn Song
AU  - Lorenzo Cavallaro
AU  - Arthur Gervais
PY  - 2023
UR  - https://arxiv.org/abs/2306.12338
ID  - 2306.12338
ER  -