The University of Iowa;
机译:顺序测试生成和综合,以实现寄存器传输和逻辑级别的可测试性
机译:基于邻域搜索策略的混合粒子群优化与差分进化测试数据生成算法
机译:基于人工蜂群的测试数据生成,用于数据流测试
机译:SymSim:在寄存器传输级别对数据流数据路径设计进行符号故障仿真
机译:基于可满足性的顺序测试生成和混合寄存器传输/门级电路可测试性的设计。
机译:药物水平检测作为确定ART失败后是否具有耐药性测试资格的策略:对南非成年患者进行二线抗逆转录病毒疗法的回顾性分析
机译:算法和寄存器传输级别的BIsT测试策略