退出
我的积分:
中文文献批量获取
外文文献批量获取
王田园;
大连海事大学;
符号执行; 路径; 爆炸; 约束求解;
机译:通过分支合并减轻符号执行中的路径爆炸
机译:使用模型计数约束求解器和符号执行的边信道分析(特邀演讲)
机译:使用路径约束求解为难以到达的状态生成功能测试
机译:使用符号执行和约束求解技术的面向路径的测试数据生成
机译:在具有输入覆盖计划和符号执行的多线程程序中避免状态空间爆炸。
机译:爆炸性或连续性:不连贯状态决定了同步的路径
机译:符号执行中增量约束求解方法的比较研究
机译:利用状态合并和状态修剪解决符号执行面临的路径爆炸问题
机译:符号执行方法,符号执行程序和符号执行装置
机译:符号执行程序,符号执行方法和符号执行装置
机译:符号执行方法,符号执行装置和符号执行程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。