Tukaram Muske, Alexander Serebrenik. Techniques for Efficient Automated Elimination of False Positives. In 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, Adelaide, Australia, September 28 - October 2, 2020. pages 259-263, IEEE, 2020. [doi]
Abstract is missing.