Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis - Wang, Zhong-Yi; Chen, Ming-Shuai; Lin, Teng-Jie; Yang, Lin-Yu; Zhuo, Jun-Hao; Wang, Qiu-Ye; Qin, Sheng-Chao; Yi, Xiao; Yin, Jian-Wei (Journal of computer science and technology, 2025)