Sign in

Aroc: An Automatic Repair Framework for On-Chain Smart Contracts.

Hai JinZeli WangMing WenWeiqi DaiYu ZhuDeqing Zou
Published in: IEEE Trans. Software Eng. (2022)
Keyphrases
  • main contribution
  • real time
  • probabilistic model
  • fully automatic
  • computational framework
  • database
  • machine learning
  • mobile robot
  • supply chain
  • lightweight
  • framework enables