@misc{indiciae1f6af18b9711,
  title = {DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode},
  author = {Jiachi Chen and Xin Xia and David Lo and John Grundy and Xiapu Luo and Ting Chen},
  year = {2021},
  doi = {10.1109/tse.2021.3054928},
  url = {https://arxiv.org/abs/2009.02663},
  note = {Source identifier: 2009.02663}
}