Parf: Adaptive Parameter Refining for Abstract Interpretation - Wang, Zhongyi; Yang, Linyu; Chen, Mingshuai; Bu, Yixuan; Li, Zhiyang; Wang, Qiuye; Qin, Shengchao; Yi, Xiao; Yin, Jianwei (IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 2024)
Keywords: Accuracy; Automatic parameter tuning; Benchmark testing; Probability distribution; Program verification; Refining; Software; Software algorithms; Software engineering; Static analysis; Tuning