@misc{indiciaed7cf16c49498,
  title = {SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts},
  author = {Monika di Angelo and Thomas Durieux and João F. Ferreira and Gernot Salzer},
  year = {2023},
  url = {https://arxiv.org/abs/2306.05057},
  note = {Source identifier: 2306.05057}
}