Mangala Gowri Nanda Saurabh Sinha Accurate Interprocedural Null-Dereference Analysis for Java. 133-143 2009 ICSE http://dx.doi.org/10.1109/ICSE.2009.5070515 conf/icse/2009 db/conf/icse/icse2009.html#NandaS09