TY  - RPRT
TI  - SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
AU  - Jianzhong Su
AU  - Jiachi Chen
AU  - Zhiyuan Fang
AU  - Xingwei Lin
AU  - Yutian Tang
AU  - Zibin Zheng
PY  - 2024
UR  - https://arxiv.org/abs/2406.10054
ID  - 2406.10054
ER  -