@misc{indiciaec7a29f6c8186,
  title = {Detecting Buggy Contracts via Smart Testing},
  author = {Sally Junsong Wang and Jianan Yao and Kexin Pei and Hidedaki Takahashi and Junfeng Yang},
  year = {2024},
  url = {https://arxiv.org/abs/2409.04597},
  note = {Source identifier: 2409.04597}
}