TY  - RPRT
TI  - PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis
AU  - Zhongyi Wang
AU  - Mingshuai Chen
AU  - Tengjie Lin
AU  - Linyu Yang
AU  - Junhao Zhuo
AU  - Qiuye Wang
AU  - Shengchao Qin
AU  - Xiao Yi
AU  - Jianwei Yin
PY  - 2025
DO  - 10.1007/s11390-025-5140-6
UR  - https://arxiv.org/abs/2505.13229
ID  - 2505.13229
ER  -