Making defect-finding tools work for you | IEEE Conference Publication | IEEE Xplore