@misc{indiciae64dbb89a16f0,
  title = {Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts},
  author = {Thomas Durieux and João F. Ferreira and Rui Abreu and Pedro Cruz},
  year = {2020},
  doi = {10.1145/3377811.3380364},
  url = {https://arxiv.org/abs/1910.10601},
  note = {Source identifier: 1910.10601}
}