Scanstud: A Methodology for Systematic, Fine-Grained Evaluation of Static Analysis Tools. - Martin Johns; Moritz Jodeit (ICST Workshops, 2011)