Nurit Dor John Field Denis Gopan Tal Lev-Ami Alexey Loginov Roman Manevich G. Ramalingam Thomas W. Reps Noam Rinetzky Mooly Sagiv Reinhard Wilhelm Eran Yahav Greta Yorsh Automatic Verification of Strongly Dynamic Software Systems. 82-92 2005 VSTTE http://dx.doi.org/10.1007/978-3-540-69149-5_11 conf/vstte/2005 db/conf/vstte/vstte2005.html#DorFGLLMRRRSWYY05