考虑到

ConSIT:一个有条件的程序切片机。条件切片是静态和动态切片的有力概括,它在软件维护和演化的许多问题中有应用,包括重用、再工程和程序理解。然而,实施条件切片的工作相对较少。实现条件切片的算法必然涉及从条件切片准则导出的某些状态集中的程序谓词值的推理,使得实现特别苛刻。本文介绍了一种基于常规静态切片、符号执行和定理证明的条件切片系统。SCONT是第一个完全自动化的条件切片实现。在http://www. MCs.g.U./U.Mas01SD/CONSIG.HTML.


ZBMaCT中的参考文献(7篇文章中引用)

显示结果1至7的7。
按年份排序(引文

  1. 沃德、马丁、Zedan、侯赛因:结合动态和静态切片分析汇编程序(2010)
  2. 瓦苏德万,肖巴;爱默生,E. Allen;亚伯拉罕,Jacob A.:通过先行条件切片对硬件设计的改进验证(2007)伊波尔特
  3. 宾克利,戴夫;丹尼契,塞巴斯蒂安;吉姆斯,蒂伯;哈曼,马克;亲吻,KOS;Korel,波格丹:动态程序切片的理论基础(2006)
  4. 宾克利,David W.;DANICIC,塞巴斯蒂安;哈曼,马克;豪威罗德,约翰;奥瓦比,Lahcen:程序切片和部分评价之间的正式关系(2006)
  5. 竞争对手沙维尔:《阿斯特雷警报》的由来(2005)
  6. 竞争对手沙维尔:报警诊断的抽象依赖性(2005)
  7. Fox,克里斯;DANICIC,塞巴斯蒂安;哈曼,马克;Hierons,Robert M.:SCONT:全自动条件程序切片机(2004)伊波尔特