机译:在测试长度约束下状态可观的FSM增加故障覆盖率的故障相关测试生成方法
机译:在测试长度约束下状态可观的FSM增加故障覆盖率的故障相关测试生成方法
机译:EFSM测试套件生成方法的故障覆盖率评估
机译:使用突变发生器的FSM与其故障覆盖评估的测试用例
机译:过渡故障和过渡路径延迟故障:测试生成,路径选择以及功能性侧面测试的内置生成。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:使用测试集生成方法的组合电路故障检测概率评估方法
机译:容错系统中的潜在故障和覆盖。一种用于辅助测试生成的VLsI CmOs电路设计技术