机译:在测试长度约束下状态可观的FSM增加故障覆盖率的故障相关测试生成方法
机译:在测试长度约束下状态可观的FSM增加故障覆盖率的故障相关测试生成方法
机译:寻求合适的软件故障模型:基于模型的测试生成技术的故障检测有效性的案例研究
机译:目标故障的检测次数的定义及其在指导缺陷高覆盖率测试生成方面的有效性
机译:使用传统的基于故障卡住的自动测试模式生成工具来最大化非目标缺陷检测。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:新颖的MC / DC覆盖测试集生成算法和MC / DC设计故障检测强度洞察力
机译:CmOs IC故障模型,物理缺陷覆盖和I(子DDQ)测试。