An Evaluation of Two Bug Pattern Tools for Java | IEEE Conference Publication | IEEE Xplore