Automatic Classification of Program Paths Feasibility Using Active Learning. (2018)