%0 Journal Article %F Feng10Analysis %A Feng, Thomas Huining %T Dynamic program analysis based on partitioning and summarization %J Application Research of Computers %V 27 %N 6 %P 2130-2146 %D 2010