首页|期刊导航|计算机应用研究|基于混合输入的环境交互问题研究

基于混合输入的环境交互问题研究

曹琰欧阳永基魏强王清贤

计算机应用研究2013，Vol.30Issue(11)：3353-3357,5.

计算机应用研究2013，Vol.30Issue(11)：3353-3357,5.DOI:10.3969/j.issn.1001-3695.2013.11.038

Research on environment interaction problem through mixed input

曹琰 ¹欧阳永基 ¹魏强 ¹王清贤¹

作者信息

符号执行/混合输入/环境交互/一致性模型/约束求解

symbolic execution/mixed input/environment interaction/consistency model/constraint solution

信息技术与安全科学

曹琰,欧阳永基,魏强,王清贤..基于混合输入的环境交互问题研究[J].计算机应用研究,2013,30(11):3353-3357,5.

国家"863"计划资助项目(2012AA012902) （2012AA012902）

OA北大核心CSCDCSTPCD

ISSN：1001-3695

访问量0

下载量0

段落导航