机译:生成系统测试数据的实用约束解决方案
SnT University of Luxembourg;
School of EECS University of Ottawa & SnT University of Luxembourg;
System testing; test data generation; model-driven engineering; UML; OCL; metaheuristic search; SMT;
机译:使用不精确的模型约束和约束求解技术生成复杂数据类型的测试数据
机译:解决电力系统约束的实用方法,并应用于西班牙电力市场
机译:PWMC,用于生成乐谱的约束解决系统
机译:使用AMPL接口的约束求解器从UML活动生成测试数据
机译:使用实用的推理框架开发针对青少年的营养实用的解决问题的量身定制反应测试。
机译:性格反省与产生有效的问题解决策略的能力有关吗?使用均值端问题解决测试的两个版本
机译:用于生成系统测试数据的实用约束解决