1 Agrawal，H.，DeMillo，R.A.，Spafford，E.H.：存在无约束指针的动态切片。 摘自：《测试、分析和验证研讨会论文集》，第60-73页（1991年） 谷歌学者 
2 细粒度软件检查工具的设计与实现 IEEE传输。 柔和。 工程师。 2003 29 8 721 733 10.1109/TSE.2003.1223646 谷歌学者 数字图书馆 
三。 程序切片 高级计算。 1996 43 2 1 50 谷歌学者 4 Brown，C.M.：重构Haskell程序的工具支持。 英国肯特郡坎特伯雷肯特大学计算机学院博士论文（2008年） 谷歌学者 5 Cheda，D.、Silva，J.、Vidal，G.：重写系统的静态切片。 摘自：第15届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2006），第123–136页。 Elsevier ENTCS 177（2007） 谷歌学者 6 统计上严格的Java性能评估 SIGPLAN不是。 2007 42 10 57 76 10.1145/1297105.1297033 谷歌学者 数字图书馆 7 龚烨，X，王，Y，文，Y，聂，P，林，P：基于深度第一次遍历的有向图中简单电路的简单检测和生成算法。 进化。 智力。 (2020) 谷歌学者 8 Graf，J.：加快上下文、对象和字段敏感的SDG生成。 2010年IEEE第十届源代码分析和操作工作会议，第105–114页（2010） 谷歌学者 9 基于依赖图的跨过程切片 ACM事务处理。 程序。 语言系统。 1990 12 1 26 60 10.1145/77606.77608 谷歌学者 数字图书馆 10 Prasanna Kumar，K.，Sanyal，A.，Karkare，A.，Padhi，S.：函数程序的静态切片方法及其增量版本。 摘自：《第28届编译器构造国际会议论文集》，CC 2019，第53-64页，美国纽约州纽约市，计算机协会（2019） 谷歌学者 11 计算机程序的动态切片 J.系统。 柔和。 1990 13 三 187 195 10.1016/0164-1212(90)90094-3 谷歌学者 数字图书馆 12 Krinke，J.：顺序和并发程序的高级切片。 帕索大学博士论文（2003年） 谷歌学者 13 Liang，D.，Harrold，M.J.：使用系统依赖图切片对象。 摘自：《软件维护国际会议论文集》，ICSM 1998，第358–367页，美国华盛顿特区，IEEE计算机学会（1998） 谷歌学者 14 Litvak，S.、Dor，N.、Bodik，R.、Rinetzky，N.和Sagiv，M.：场敏感程序依赖性分析。 摘自：第十八届ACM SIGSOFT国际软件工程基础研讨会论文集，FSE 2010，第287-296页，美国纽约州纽约市，计算机协会（2010） 谷歌学者 15 Lyle，J.R.：为调试评估程序切片的变化（Data-Flow，Ada）。 博士论文，美国（1984年） 谷歌学者 16 高级编译器设计与实现，第12.2章 1997 伯灵顿 摩根考夫曼 谷歌学者 17 高级编译器设计与实现第8.12章 1997 伯灵顿 摩根考夫曼 谷歌学者 18 软件开发环境中的程序依赖图 SIGSOFT软件。 工程注释 1984 9 三 177 184 10.1145年3月3日0.808263 谷歌学者 数字图书馆 19 Ramalingam，G.，Field，J.，Tip，F.：聚合结构识别及其在程序分析中的应用。 摘自：第26届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 1999，第119-132页，美国纽约州纽约市，计算机协会（1999） 谷歌学者 20 Reps，T.、Horwitz，S.、Sagiv，M.：通过图形可达性进行精确的过程间数据流分析。 摘自：第22届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 1995，第49-61页，美国纽约州纽约市，计算机协会（1995） 谷歌学者 21 加快切片速度 SIGSOFT软件。 工程注释 1994 19 5 11 20 10.1145/195274.195287 谷歌学者 数字图书馆 22 罗德里格斯，N.F.，巴博萨，L.S.：通过程序切片识别组件。 在：《组件软件的形式方面会议录》（FACS 2005）中。 Elsevier ENTCS，第291-304页。 Elsevier（2005） 谷歌学者 23 基于程序切片技术的词汇表 ACM计算。 Surv公司。 2012 44 三 1 41 10.1145/2187671.2187674 谷歌学者 数字图书馆 24 序列erlang中的系统依赖图 软件工程的基本方法 2012 海德堡 施普林格 486 500 10.1007/978-3-642-28872-2_33 谷歌学者 数字图书馆 25 软件安全分析依赖图中的有效路径条件 ACM事务处理。 柔和。 工程方法。 2006 15 4 410 457 10.1145/1178625.1178628 谷歌学者 数字图书馆 26 Späth，J.、Ali，K.、Bodden，E.：使用同步下推系统进行上下文、流和场敏感数据流分析。 程序。 ACM计划。 语言3（POPL），1-29（2019） 谷歌学者 27 Sridharan，M.，Fink，S.J.，Bodik，R.：薄片。 摘自：第28届ACM SIGPLAN编程语言设计与实现会议记录，PLDI 2007，第112–122页，美国纽约州纽约市，计算机协会（2007） 谷歌学者 28 使用行为依赖图分析erlang程序的影响 中欧函数编程学校 2010 海德堡 施普林格 372 390 10.1007/978-3-642-17685-2_11 谷歌学者 交叉引用 
29 Walkinshaw，N.，Roper，M.，Wood，M.：Java系统依赖图。 摘自：第三届IEEE源代码分析和操作国际研讨会论文集，第55–64页（2003） 谷歌学者 30 Weiser，M.：程序切片。 摘自：《第五届软件工程国际会议论文集》（ICSE 1981），第439–449页，美国新泽西州皮斯卡塔韦，IEEE出版社1981 谷歌学者
建议
抽象程序切片：从理论到实现 ICFEM’10：第12届正式工程方法和软件工程国际会议论文集 本文扩展了Binkley等人提出的用于表示和比较程序切片形式的形式化框架。 该框架描述了基于…的（抽象）投影的独特形式结构中的许多众所周知的切片形式。。。
