机译:通过确定性和伪随机测试模式之间的交替进行测试集压缩
机译:确定性和伪随机测试模式之间的交替测试集压缩
机译:基于确定性测试集的组合电路和顺序电路的3权重伪随机测试生成
机译:确定性单故障测试集的多故障仿真与覆盖
机译:使用模拟根据状态图对调查覆盖率标准进行实证研究。
机译:收集和使用可靠的疫苗接种覆盖率调查估计数:会议上分享总结和建议会议总结和建议是从推出更新的世卫组织疫苗接种覆盖率群集调查参考手册并围绕疫苗接种覆盖率调查制定运营研究议程中获得的 2017年4月18-21日
机译:声明状态空间覆盖范围并确定性地测试并发软件
机译:基于规范的覆盖度量来评估测试集