Aroc: An Automatic Repair Framework for On-Chain Smart Contracts | IEEE Journals & Magazine | IEEE Xplore