程序依赖图算法相关硕士博士期刊学术论文

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维......