V. Benjamin Livshits Aditya V. Nori Sriram K. Rajamani Anindya Banerjee Merlin: specification inference for explicit information flow problems. 75-86 2009 PLDI http://doi.acm.org/10.1145/1542476.1542485 conf/pldi/2009 db/conf/pldi/pldi2009.html#LivshitsNRB09