Data Generation; Testing; Masking; Benchmarking; Constraints;
机译:使用不精确的模型约束和约束求解技术生成复杂数据类型的测试数据
机译:以声明方式生成合成XML数据
机译:在转矩和速度约束下具有轨迹余量的工业铰接式机器人手臂的高精度控制:轨迹生成和示教数据生成
机译:使用声明性约束的数据生成
机译:基于约束的数据库状态生成,用于测试数据库应用程序。
机译:具有时间约束的声明式编程使用CG语言
机译:使用声明性约束生成数据