ReenRepair: Automatic and semantic equivalent repair of reentrancy in smart contracts - Ruiyao Huang; Qingni Shen; Wang, Yuchen; Yiqi Wu; Wu, Zhonghai; Xiapu Luo; Anbang Ruan (Journal of Systems and Software(JSS), 2024)