Active Learning to Improve Static Analysis. - Maxwell Berman; Stephen C. Adams; Tim Sherburne; Cody H. Fleming; Peter A. Beling (ICMLA, 2019)