PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates

@inproceedings{xiao2026predicatefix,
  title = {{{PredicateFix}}: {{Repairing Static Analysis Alerts}} with {{Bridging Predicates}}},
  booktitle = {2026 {{IEEE}}/{{ACM}} 48th {{International Conference}} on {{Software Engineering}} ({{ICSE}} '26)},
  author = {Xiao, Yuan-An and Wang, Weixuan and Liu, Dong and Zhou, Junwei and Cheng, Shengyu and Xiong, Yingfei},
  year = {2026},
  month = apr,
  doi = {10.1145/3744916.3773159},
}