@misc{indiciae20ae0ed41222,
  title = {PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis},
  author = {Zhongyi Wang and Mingshuai Chen and Tengjie Lin and Linyu Yang and Junhao Zhuo and Qiuye Wang and Shengchao Qin and Xiao Yi and Jianwei Yin},
  year = {2025},
  doi = {10.1007/s11390-025-5140-6},
  url = {https://arxiv.org/abs/2505.13229},
  note = {Source identifier: 2505.13229}
}