电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2017, Vol. 45 Issue (11): 2582-2592    DOI: 10.3969/j.issn.0372-2112.2017.11.003
学术论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
一种符号执行制导的循环内界分析方法
赵祖威1,2, 冯世宁3,4, 汤恩义1,2, 陈鑫1, 李宣东1,2, 潘敏学1,2, 赵晨1,2
1. 南京大学软件新技术国家重点实验室, 江苏南京 210023;
2. 南京大学软件学院, 江苏南京 210093;
3. 南瑞集团公司(国网电力科学研究院), 江苏南京 211106;
4. 国电南瑞科技股份有限公司, 江苏南京 211106
A Symbolic Execution Guided Inner Loop Bound Analysis
ZHAO Zu-wei1,2, FENG Shi-ning3,4, TANG En-yi1,2, CHEN Xin1, LI Xuan-dong1,2, PAN Min-xue1,2, ZHAO Chen1,2
1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu 210023, China;
2. Software Institute, Nanjing University, Nanjing, Jiangsu 210093, China;
3. NARI Group Corporation(State Grid Electric Power Research Institute), Nanjing, Jiangsu 211106, China;
4. NARI Technology Co., Ltd., Nanjing, Jiangsu 211106

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
京ICP备12041980号-1