Aroc: An Automatic Repair Framework for On-Chain Smart Contracts[J] IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2022(48) Jin, Hai Wang, Zeli Wen, Ming Dai, Weiqi Zhu, Yu Zou, Deqing
