"Your AI is impressive, but my code does not have any bugs" managing false positives in industrial contexts. - Stradowski, Szymon; Madeyski, Lech (Science of Computer Programming, 2025)