Jeremy S. Bradbury Jürgen Dingel Evaluating and improving the automatic analysis of implicit invocation systems. 78-87 2003 conf/sigsoft/2003 ESEC / SIGSOFT FSE http://doi.acm.org/10.1145/940071.940083 db/conf/sigsoft/fse2003.html#BradburyD03