Jesús Correas Germán Puebla Manuel V. Hermenegildo Francisco Bueno Experiments in Context-Sensitive Analysis of Modular Programs. 163-178 2005 conf/lopstr/2005 LOPSTR http://dx.doi.org/10.1007/11680093_11 db/conf/lopstr/lopstr2005.html#CorreasPHB05