组成 swMATH ID: 8962 软件作者： Danicic，S。；福克斯，C。；哈曼，M。；Hierons，R。 说明： ConSIT：一个条件程序切片器。条件切片是静态和动态切片的有力推广，它应用于软件维护和演化中的许多问题，包括重用、再工程和程序理解。然而，在条件切片的实现方面，工作相对较少。实现条件切片的算法必然涉及到对程序谓词在从条件切片标准派生的特定状态集中的值进行推理，这使得实现特别苛刻。本文介绍了ConSIT，一个基于传统静态切片、符号执行和定理证明的条件切片系统。ConSIT是第一个条件切片的全自动实现。ConSIT的实现可在网址：http://www.mcs.gold.ac.uk/●mas01sd/consit.html 主页： http://ieeexplore.ieee.org/xpl/login.jsp？tp=&arnumber=883049 相关软件： ASTREE公司;CSSV公司;电视节目;鲍嘉;费马;CodeSurfer（代码浏览器） 引用于： 5文件 全部的 前5名11位作者引用 2 戴夫·宾克利 2 塞巴斯蒂安·达尼西奇 2 马克，哈曼 2 对手，泽维尔 1 蒂博尔·吉莫西 1 约翰·霍罗伊德。 1 亲吻，阿尔科斯 1 波格丹·科尔 1 拉肯乌尔巴亚 1 Martin P.沃德。 1 侯赛因·泽丹 3篇连载文章中引用 1 理论计算机科学 1 计算机程序设计科学 1 计算的形式方面 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文