Extracting finite state representation of Java programs. - Tamal Sen; Rajib Mall (Softw. Syst. Model., 2016)