Electrical and Computer Engineering Department, University of Iowa, Iowa City, IA;
机译:实现顺序机器的完整故障覆盖
机译:可测试性设计,可完全覆盖标准全扫描电路中的延迟故障
机译:具有暂态故障的开关异步顺序机的模型匹配和容错控制
机译:使用过渡故障模型实现顺序机器的完整故障覆盖
机译:容错传感器覆盖范围,以最小的成本实现所需的覆盖范围
机译:用于感应机故障建模的技术综述
机译:100个项目中的1600个故障:在使用Evosuite实现高覆盖率的同时自动查找故障
机译:顺序机器中存储器故障的特性。