"Extracting finite state representation of Java programs."

Tamal Sen, Rajib Mall (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics