"Experimental evaluation of animated-verifying object viewers for Java."

Jhilmil Jain et al. (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics