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

Hai Jin Zeli Wang Ming Wen Weiqi Dai Yu Zhu Deqing 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