退出
我的积分:
中文文献批量获取
外文文献批量获取
何洋; 洪玫; 祁琳莹; 王存伟; 郑佳琪;
四川大学计算机学院;
模型检测; 测试用例生成; 变换覆盖; 陷阱性质;
机译:通过基于模型的测试提高质量:测试用例生成器在基于模型的开发过程中的优势
机译:关于状态转换测试和基于模型检查器的测试用例生成的覆盖标准
机译:列车控制系统功能测试的基于模型的测试用例生成方法
机译:在基于模型的系统工程方法中,在基于模型的系统工程方法中展示了在基于模型的系统工程方法中展示了在CubeSats中实现的空间情境感知系统中描述的标准方法
机译:社交功能障碍的神经康复:针对低水平和高功能自闭症的基于模型的神经反馈方法
机译:基于模型的测试用例生成技术的效率和有效性的HIs方法实验研究
机译:mULTIGRapH:基于模型编程的体系结构。基于模型的并行计算程序合成。 pREmOs:基于模型的程序综合的编程环境。版本01.00.00
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
机译:具有测试用例生成和评估的基于模型的软件开发的方法,系统和程序
机译:测试用例生成装置,测试用例生成方法和测试用例生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。