Wei-Ngan Chin Huu Hai Nguyen Shengchao Qin Martin C. Rinard Memory Usage Verification for OO Programs. 70-86 2005 conf/sas/2005 SAS http://dx.doi.org/10.1007/11547662_7 db/conf/sas/sas2005.html#ChinNQR05