program testing; formal specification; software fault tolerance; software analysis; specification test coverage; specification test generation; model checking; software metrics; formal model; automated software testing; formal specifications;
机译:测试DMM规格的覆盖标准
机译:与操作规范相比,欧洲的不精确和不准确规范确保了美国CLIA能力验证标准所要求的质量。
机译:根据B规范和动态选择标准生成测试
机译:规范测试覆盖充足性标准=规范测试生成不足标准
机译:基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译:BRCA基因检测和遗传咨询的私人和公共覆盖政策的资格标准
机译:根据{B}规范和动态选择标准生成测试