Towards modeling the behavior of static code analysis tools. - Lakshmi Manohar Rao Velicheti; Dennis C. Feiock; Manjula Peiris; Rajeev R. Raje; James H. Hill (CISR, 2014)