Couto, Montandon, Silva, Valente, 2011. Static correspondence and correlation between field defects and warnings reported by a bug finding tool 21.. https://doi.org/10.1007/s11219-011-9172-5