Extracting finite state representation of Java programs

Tamal Sen, Rajib Mall. Extracting finite state representation of Java programs. Software and Systems Modeling, 15(2):497-511, 2016. [doi]

Abstract

Abstract is missing.