程序不变量论文

基于GEP-RNC的指数对数型程序不变量发现方法第72-76页

关键词: 程序不变量对数指数

2017年第01期《南华大学学报·社会科学版》

一种基于GEP的程序不变量动态发现方法第106-111页

关键词: 程序不变量 gep函数型程序不变量

2016年第04期《南华大学学报·社会科学版》

基于契约的程序动态分析技术研究第65-68页

关键词: 契约断言程序不变量程序动态分析

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

动态不变量检测工具Daikon的分析及运用第6-8页

关键词: daikon 程序不变量关联关系追踪

2006年第01期《电脑开发与应用》

基于合约的似然程序不变量动态发现第233-235页

关键词: 程序不变量关联属性程序断言合约

2006年第10X期《科技与创新》

Java建模语言在程序不变量动态发现过程中的应用第4536-4538页

关键词: 程序不变量 java建模语言重载行为接口规范语言契约程序断言

2007年第18期《计算机工程与设计》

基于合约的程序分析技术研究第31-33页

关键词: 合约断言程序不变量程序动态分析

2012年第12期《现代电子技术》

基于GEP的线性指数函数型程序不变量动态发现方法第63-67页

关键词: gep 程序运行轨迹数据启发性信息线性指数函数形式程序不变量不变量动态发现

2012年第01期《南华大学学报·社会科学版》

一种区间型程序不变量检测方法第184-187页

关键词: 程序不变量静态分析图形化方法

2010年第03期《计算机与现代化》

程序不变量检测技术第108-112页

关键词: 程序不变量检测技术程序编配运行追踪

2011年第03期《计算机工程与科学》

非函数依赖程序不变量动态检测技术研究第158-162页

关键词: 程序不变量非函数依赖动态检测软件质量条件查询

2008年第35期《计算机工程与应用》

不变量指导的随机测试用例生成第2174-2181页

关键词: 随机测试程序不变量约简随机空间测试用例

2011年第11期《小型微型计算机系统》

随机测试用例的自动化生成和约简第2035-2040页

关键词: 软件测试预设值随机测试测试用例程序不变量

2011年第10期《小型微型计算机系统》

一种函数依赖程序不变量动态检测方法第205-209页

关键词: 程序不变量函数依赖关联属性动态发现模型

2008年第07期《微电子学与计算机》

动态检测非函数依赖程序不变量第47-50页

关键词: 程序不变量动态检测非函数依赖

2008年第02期《电脑与信息技术》

函数依赖似然不变量发现方法研究第33-36页

关键词: 程序不变量函数依赖不变量动态发现

2008年第05期《现代计算机》

基于合约的程序不变量动态检测模型研究第6177-6180页

关键词: 程序不变量合约关联属性动态发现模型

2008年第23期《计算机工程与设计》

基于不变量的程序运行保护方法第1069-1071页

关键词: 程序不变量动态监控运行保护保护策略保护代码

2008年第05期《计算机工程与设计》

C程序不变量动态发现编配工具的设计第-页

关键词: 程序不变量不变量动态发现编配工具

2008年第12期《科技与创新》

程序不变量到断言的自动转换方法研究及其应用第177-180页

关键词: 程序不变量断言回归测试错误识别测试用例集合约简

2012年第11期《计算机应用与软件》