Assessing the Effectiveness of Static Analysis through Defect Correlation Analysis | IEEE Conference Publication | IEEE Xplore