Alex Kinneer Gregg Rothermel Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks. 127-136 2008 ICSM http://dx.doi.org/10.1109/ICSM.2008.4658061 conf/icsm/2008 db/conf/icsm/icsm2008.html#KinneerR08