基于禁忌搜索的动态符号执行方法
蔡军, 邹鹏, 马金鑫, 何骏
Dynamic symbolic execution approach based on tabu search
CAI Jun, ZOU Peng, MA Jinxin, HE Jun
北京航空航天大学学报 . 2015, (12): 2348 -2355 .  DOI: 10.13700/j.bh.1001-5965.2015.0164


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发