退出
我的积分:
中文文献批量获取
外文文献批量获取
郭文生; 汪勇; 杨霞; 高敏;
1. 电子科技大学信息与软件工程学院 2. 美国加州大学洛杉矶分校电子工程系;
嵌入式软件测试; 插桩; 动态符号执行; 测试案例生成; 缺陷检测;
机译:使用组合动态符号执行的浮点嵌入式软件的单元测试
机译:使用组成动态符号执行生成浮点嵌入式软件的单元测试
机译:使用符号执行和未解释功能的嵌入式软件验证
机译:测试案例通过符号执行:基本概念,基于CLP的实例和基于演员的并发性
机译:入侵检测:基于嵌入式软件机器学习和硬件规则的协同设计
机译:基于深度学习的新型钢缺陷检测算法
机译:基于测试自动化工具的嵌入式软件黑箱测试案例研究
机译:利用基于FpGa的片上系统架构的嵌入式软件认证方法的综合安全性分析和实现框架。
机译:用于嵌入式软件的自动生成测试案例的装置及其方法
机译:测试案例自动生成系统,测试案例自动生成方法和测试案例自动生成程序
机译:自动生成必需的测试案例的方法,非过渡计算机合法手段和自动生成的测试案例的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。