"Bandera: extracting finite-state models from Java source code."

James C. Corbett et al. (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics