关键词: 制导符号执行  分支覆盖率  指令覆盖率  搜索策略  程序切片  

2019年第11期 《软件学报》

关键词: 循环变量  程序切片  静态程序切片  后向程序切片  

2014年第25期 《科学技术创新》

关键词: 循环变量  程序切片  动态程序切片  静态程序切片  

2014年第28期 《科学技术创新》

关键词: 软件脆弱性  程序切片  程序谱  脆弱性定位  

2018年第02期 《空间控制技术与应用》

关键词: 回归测试  面向对象  类层次  程序切片  类成员后向切片  

2004年第02期

关键词: 不可达路径  程序切片  最少谓词路径  

2004年第02期

关键词: 程序切片  系统依赖图  静态切片  程序评测  

2018年第10期 《软件》

关键词: java程序  程序切片  系统依赖图  

2005年第03期 《计算技术与自动化》

关键词: 程序切片  抽象解释  循环边界  

2018年第04期 《计算技术与自动化》

关键词: 缓冲区溢出  符号执行  程序切片  自动化利用  

2019年第09期 《计算机应用与软件》

关键词: 二阶sql注入  污点分析  web应用  漏洞检测  chopping  程序切片  

2018年第01期 《计算机系统应用》

关键词: 云计算  软件安全  程序切片  二进制分析  逆向工程  

2019年第07期 《信息网络安全》

关键词: 软件测试  变量依赖图  变量完整性  程序切片  

2004年第11期 《计算机辅助设计与图形学学报》

关键词: 脆弱性分析  程序切片  相似度匹配  

2019年第07期 《计算机科学》

关键词: 隐式  输入验证漏洞  静态分析  程序切片  

2018年第03期 《三门峡职业技术学院学报》

关键词: 程序切片  动态切片  切片准则  

2005年第03期 《东北农业大学学报》

关键词: 软件体系结构  体系结构描述语言  体系结构切片  程序切片  

2005年第06期 《计算机工程》

关键词: 语义层  软件  程序切片  反编译  依赖性分析  形式化  识别技术  理解方法  格局  水平  

2004年第23期 《计算机工程》

关键词: java语言  程序设计  程序切片  异常处理模块  数据依赖图  

2005年第04期 《计算机工程与科学》

关键词: 程序切片  目标函数  关键变量  数据流分析  gimple中间表示  

2017年第24期 《计算机工程与应用》