Alloy; Automatic testing; Constraint Solver; DBMS; Database; SQL;
机译:关系数据库逆向工程:提取基数约束的算法
机译:使用Collection将关系数据库重新设计为对象关系数据库
机译:关系数据库模式完整性约束的测试覆盖率标准的有效性
机译:使用关系约束求解器对数据库引擎进行系统测试
机译:基于约束的数据库状态生成,用于测试数据库应用程序。
机译:使用生物技术解决工程问题:微型零件的无损检测
机译:使用关系约束求解器对数据库引擎进行系统测试