SoliTester: Detecting exploitable external‐risky vulnerability in smart contracts using contract account triggering method. - Hu, Tianyuan; Li, Jingyue; Xu, Xiangfei; Li, Bixin (Journal of Software: Evolution & Process, 2024)