TY  - RPRT
TI  - OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
AU  - Zhiyang Chen
AU  - Ye Liu
AU  - Sidi Mohamed Beillahi
AU  - Yi Li
AU  - Fan Long
PY  - 2024
UR  - https://arxiv.org/abs/2407.10039
ID  - 2407.10039
ER  -