Zhong-Yi, W., Ming-Shuai, C., Teng-Jie, L., Lin-Yu, Y., Jun-Hao, Z., Qiu-Ye, W., Sheng-Chao, Q., Xiao, Y., Jian-Wei, Y. (2025). Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis. Journal of Computer Science and Technology. https://doi.org/10.1007/s11390-025-5140-6