Wagner, et al.. An Evaluation of Two Bug Pattern Tools for Java. IEEE, 2008, doi:10.1109/icst.2008.63.