Viktor Kuncak Patrick Lam Karen Zee Martin C. Rinard Modular Pluggable Analyses for Data Structure Consistency. 988-1005 2006 32 IEEE Trans. Software Eng. 12 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.125 db/journals/tse/tse32.html#KuncakLZR06