Fig. 1From: Correlating automatic static analysis and mutation testing: towards incremental strategiesPartial structure of FindBugs: correctness category (Shen et al. 2011)Back to article page