首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿  |  旧版网站入口
小型微型计算机系统  2014, Vol. 35 Issue (11): 2396-2401    DOI:
计算机软件与数据库研究 最新目录| 下期目录| 过刊浏览| 高级检索 |
改进动态符号执行中的非线性约束求解过程
董齐兴(1,2),曾凡平(1,2,3),严俊4,张辉1,彭凌1
1(中国科学技术大学 计算机科学与技术学院,合肥 230026)2(中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190)3(安徽省计算与通讯软件重点实验室,合肥 230026)4(中国科学院 软件研究所 软件工程技术研究开发中心,北京 100190)
Improving the Solving of Non-linear Arithmetic Constraints in Dynamic Symbolic Execution
DONG Qi-xing(1,2),ZENG Fan-ping(1,2,3),YAN Jun4,ZHANG Hui1,PENG Ling1
1(School of Computer Science and Technology, University of Science and Technology of China, Hefei 230026, China)2(State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing 100190, China)3(Anhui Province Key Lab of Software in Computing and Communication, Hefei 230026, China)4(Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences,Beijing 100190, China)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn