南华大学学报（自然科学版）2016，Vol.30Issue(4)：106-111,6.
一种基于GEP的程序不变量动态发现方法
A Method of Detecting Likely Program Invariants Based on GEP
郭培甲 1吴取劲1
作者信息
- 1. 南华大学 计算机科学与技术学院，湖南 衡阳421001
- 折叠
摘要
Abstract
It introduces a new algorithm based on GEP which can find Functional Program Invariants from data formed by observing program executing. In the field of detecting pro￣gram invariants,the algorithm improves possibility of mining more invariants which can not be found by the technology in existence and can get successfully polynomial functional in￣variants.关键词
程序不变量/GEP函数型程序不变量Key words
program invariants/GEP/functional program invariants分类
信息技术与安全科学引用本文复制引用
郭培甲,吴取劲..一种基于GEP的程序不变量动态发现方法[J].南华大学学报（自然科学版）,2016,30(4):106-111,6.
