退出
我的积分:
中文文献批量获取
外文文献批量获取
黄陇; 陈致明;
中国计算机学会;
软件测试数据生成; 区间削减算法; 状态约束; 分支谓词约束; 中间参数约束;
机译:迭代区间算法在路径测试数据生成中的应用
机译:元启发式算法和适应度函数在软件测试数据生成中的比较
机译:元启发式算法在自动化软件测试数据生成中的应用
机译:带有大电池储存系统和一代削减的区间拥堵管理
机译:用于安全关键型软件系统的加速测试数据生成
机译:需要治疗的数量。现在可以使用可以计算置信区间的计算机软件。
机译:软件测试数据生成中差异进化的评估
机译:用于大规模软件系统的自动测试数据生成工具
机译:测试数据生成系统,测试系统,测试数据生成方法,具有记录的测试数据生成程序的计算机可读记录介质以及测试数据生成程序
机译:在其中存储测试数据生成程序,测试数据生成方法,测试数据生成设备和信息处理系统的计算机可读记录介质
机译:测试数据生成程序,测试数据生成方法和测试数据生成单元
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。