Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis. - Zhong-Yi Wang; Mingshuai Chen; Teng-Jie Lin; Linyu Yang; Junhao Zhuo; Qiu-Ye Wang; Shengchao Qin; Xiao Yi; Jianwei Yin (J. Comput. Sci. Technol., 2025)