Tukaram Muske, Uday P. Khedker. Efficient elimination of false positives using static analysis. In 26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015. pages 270-280, IEEE, 2015. [doi]