Emmanuel Geay Marco Pistoia Takaaki Tateishi Barbara G. Ryder Julian Dolby Modular string-sensitive permission analysis with demand-driven precision. 177-187 2009 ICSE http://dx.doi.org/10.1109/ICSE.2009.5070519 conf/icse/2009 db/conf/icse/icse2009.html#GeayPTRD09