Automatic Extraction of Heap Reference Properties in Object-Oriented Programs.

Brian Demsky Martin C. Rinard Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. 305-324 2009 35 IEEE Trans. Software Eng. 3 http://dx.doi.org/10.1109/TSE.2008.91 db/journals/tse/tse35.html#DemskyR09