TY  - RPRT
TI  - PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
AU  - Yuan-An Xiao
AU  - Weixuan Wang
AU  - Dong Liu
AU  - Junwei Zhou
AU  - Shengyu Cheng
AU  - Yingfei Xiong
PY  - 2025
DO  - 10.1145/3744916.3773159
UR  - https://arxiv.org/abs/2503.12205
ID  - 2503.12205
ER  -