Research of dynamical detecting technique of non-functional dependence program invariant
LIU Shu-kun 1,CHEN Ji-feng 1,2,YANG Xiao-hua 3
Computer Engineering and Applications . 2008, (35): 158 -162 .  DOI: 10.3778/j.issn.1002-8331.2008.35.048