SAT; constraints; pairwise testing; software testing; test set generation;
机译:mILD:构建和分析成对系统发育特征不一致测试矩阵的工具
机译:mILD:一种用于构建和分析成对系统发育特征不一致测试矩阵的工具
机译:基于SAT决策问题的硅后延迟测试的测试向量生成
机译:构建成对测试的测试集:基于SAT的方法
机译:PWiseGen:基于遗传算法的成对测试集生成框架。
机译:空间自相关变量之间的配对试验协会:一种新方法基于代理点阵数据
机译:用于测试化学物质的统计方法被认为是对调节毒理学的阳性......趋势和成对试验