JavaDL: automatically incrementalizing Java bug pattern detection. - Dura, Alexandru; Reichenbach, Christoph; Söderberg, Emma (Proc. ACM Program. Lang., 2021)