关键词: 安卓应用  数据竞争  事件驱动模型  多线程模型  约束求解  

2019年第11期 《软件学报》

关键词: 代码查询  约束求解  开源代码库  实证研究  

2019年第11期 《计算机科学》

关键词: 约束求解  几何约束图  人工智能  

2013年第03期 《科学技术创新》

关键词: 测试数据自动生成  程序路径  约束求解  数值优化  

2004年第01期 《电子学报》

关键词: 程序分析  符号执行  关联依赖  约束求解  

2019年第03期 《电子学报》

关键词: 敏捷夹具  装配约束  约束完备性  完备性检验  约束求解  

2004年第05期 《河南机电高等专科学校学报》

关键词: 符号执行  约束求解  性能优化  漏洞挖掘  

2019年第09期 《北京理工大学学报·社会科学版》

关键词: 注射模  协同设计  约束求解  冲突消解  协同设计系统  冲突消解策略  设计过程  产品开发  快速制造  

2005年第04期 《电加工与模具》

关键词: concolic测试  缺陷检测  符号执行  代码插桩  约束求解  

2018年第01期 《计算机应用研究》

关键词: 不透明谓词  约束求解  执行逻辑  后趋约束  

2019年第06期 《计算机应用研究》

关键词: 符号执行  静态分析  约束求解  

2018年第09期 《信息网络安全》

关键词: 服装cad  参数化设计  几何约束  约束图  约束求解  

2005年第05期 《计算机辅助设计与图形学学报》

关键词: 协同设计  约束求解  定量化  约束满足  约束冲突  

2004年第08期 《计算机辅助设计与图形学学报》

关键词: rtl  数据通路  模拟矢量自动生成方法  约束逻辑编辑  clp  vlsi  形式化描述  模型检验  位向量算术  约束求解  

2004年第08期 《计算机辅助设计与图形学学报》

关键词: 约束求解  非线性数值约束  全局优化  区间方法  

2005年第05期 《软件学报》

关键词: 最大受限路径相容算法  约束求解  优化算法  相容性技术  

2018年第B06期 《计算机科学》

关键词: 符号执行  混合测试  执行生成测试  路径爆炸  约束求解  

2018年第B06期 《计算机科学》

关键词: 蚁群算法  猜测符号执行  约束求解  路径搜索  

2018年第06期 《计算机科学》

关键词: 路径分析  状态合并  依赖条件  符号执行  约束求解  

2018年第10期 《计算机研究与发展》

关键词: 笔式交互  概念设计  草图  手势  约束求解  

2005年第10期 《计算机工程与设计》