退出
我的积分:
中文文献批量获取
外文文献批量获取
丁洪达; 王伟光; 曾庆凯;
南京大学计算机软件新技术国家重点实验室;
南京大学计算机科学与技术系;
安全评估; 安全测试; 形式化方法; 测试案例生成; 覆盖准则;
机译:一种基于价值的方法,以生成用于可持续性评估和决策的本地化社会指标:尼日利亚棕地软复用的测试案例
机译:基于突变测试生成用于组成和选择Web服务的测试案例的新方法
机译:一种基于静态结构的改进遗传算法测试案例生成方法
机译:基于完整的地标生成:一种生成载体配置的方法,可以保证移动机器人定位安全
机译:一种基于基因的正选择检测方法以使用弓形虫作为测试案例的原生动物病原鉴定疫苗候选者
机译:基于生成对抗网络的测试案例生成方法
机译:一种在基于多边形的计算机生成图像模拟中建模雷达返回范围的计算方法
机译:基于模型的控制设备的测试案例生成装置和测试案例生成方法
机译:基于使用案例图的测试案例生成程序和使用该案例的测试案例生成方法
机译:测试案例生成设备,测试案例生成方法和测试案例生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。