Detecting Buggy Contracts via Smart Testing. - Sally Junsong Wang; Jianan Yao; Kexin Pei; Hidedaki Takahashi; Junfeng Yang (CoRR, 2024)