@misc{indiciae557f2e90a39e,
  title = {OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond},
  author = {Zhiyang Chen and Ye Liu and Sidi Mohamed Beillahi and Yi Li and Fan Long},
  year = {2024},
  url = {https://arxiv.org/abs/2407.10039},
  note = {Source identifier: 2407.10039}
}