FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models.

Jiabao Zeng, Yuanlin Li, Ran Zhang, Yuanmin Xie, Kejia Li, Min Zhou

Browse the full TASE paper archive.