Skip to content

AI-Enhanced Static Analysis: Reducing False Alarms Using Large Language Models.

George David Apostolidis, Ilias Kalouptsoglou, Miltiadis G. Siavvas, Dionysios D. Kehagias, Dimitrios Tzovaras

Year2025
ProceedingsSMARTCOMP

Browse the full SmartComp paper archive.