陈厅

教授 博士生导师

个人信息

学位：工学博士学位
曾获荣誉：2012国家科技进步二等奖
2010四川省科技进步一等奖
性别：男
毕业院校：电子科技大学
学历：博士研究生毕业
在职信息：在岗
所在单位：计算机科学与工程学院（网络空间安全学院）
电子邮箱：

VIEW MORE
同专业博导

中文主页 > 科学研究 > 论文成果

An Empirical Investigation into Path Divergences for Concolic Execution using CREST

发表时间：2017-11-30    点击次数：
发表刊物：SECURITY AND COMMUNICATION NETWORKS
备注：CCF C
全部作者： Xiaosong Zhang, Abel Bacchus, Jin Huang, Xiaodong Lin,Ting Chen
第一作者：Ting Chen
论文类型：应用研究
通讯作者：Ting Chen
是否译文：否
发表时间：2015-06-29
收录刊物转向链接：http://onlinelibrary.wiley.com/doi/10.1002/sec.1290/abstract
上一条：Test Generation for Embedded Executables via Concolic Execution in a Real Environment
下一条：Conpy: Concolic Execution Engine for Python Applications

清水河校区：成都市高新区（西区）西源大道2006号　邮编： 611731  
沙河校区：成都市建设北路二段四号　邮编：610054
蜀ICP备 05006379 号   I　川公网安备 51019002000280 号 电子科技大学

访问量： 本月访问： 今日访问量： 最后更新时间：--