The University of Texas at El Paso.$bComputer Science.;
机译:使用不精确的模型约束和约束求解技术生成复杂数据类型的测试数据
机译:用于在测试数据生成中更好地覆盖的分解约束
机译:基于集体约束和加权组合法的大规模软件测试数据生成
机译:数据库存储过程测试中自动生成测试数据约束系统的改进
机译:基于约束的数据库状态生成,用于测试数据库应用程序。
机译:具有能力限制的竞赛中的联盟形成难题:使用美式足球接收覆盖率的测试
机译:数据并行并发约束编程。
机译:EOsCUBE:用于高级规范和EOsDIs产品高效生成的约束数据库系统