An Evaluation of Two Bug Pattern Tools for Java. - Stefan Wagner 001; Florian Deissenboeck; Michael Aichner; Johann Wimmer; Markus Schwalb (ICST, 2008)