AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于生成系统测试数据的实用约束解决
Ghanem Soltana; Mehrdad Sabetzadeh; Lionel C. Briand;
机译:生成系统测试数据的实用约束解决方案
机译:使用不精确的模型约束和约束求解技术生成复杂数据类型的测试数据
机译:解决电力系统约束的实用方法,并应用于西班牙电力市场
机译:使用AMPL接口的约束求解器从UML活动生成测试数据
机译:使用实用的推理框架开发针对青少年的营养实用的解决问题的量身定制反应测试。
机译:性格反省与产生有效的问题解决策略的能力有关吗?使用均值端问题解决测试的两个版本
机译:用数据测试反应系统:枚举方法和约束求解
机译:使用源代码测试注释和约束解决方案在基于模型的测试中生成测试数据的系统和方法
机译:约束条件求解方法,约束条件求解装置和约束条件求解系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。