Jingling Xue Phung Hua Nguyen John Potter Interprocedural side-effect analysis for incomplete object-oriented software modules. 92-105 2007 80 Journal of Systems and Software 1 http://dx.doi.org/10.1016/j.jss.2006.06.015 db/journals/jss/jss80.html#XueNP07