机译:测试有限状态机的并行算法:生成UIO序列
Department of Computer Science, Brunel University London, United Kingdom;
Department of Computer Science, Brunel University London, United Kingdom;
Graphics processing units; Testing; Automata; Algorithm design and analysis; Software algorithms; Automation;
机译:比较基于图形的算法,从有限状态机生成测试用例
机译:生成可观察非确定性FSM区分序列的并行算法
机译:给定度数序列的随机网络生成并行算法
机译:一种基于多个UIO序列生成可检测输出移位故障的可同步测试序列的新方法
机译:启发式算法,可最大程度地降低单机和相同并行机上的总加权拖尾率,并具有与序列相关的设置和未来准备时间
机译:共生生物搜索算法用于与序列相关的设置时间的无关并行机器调度
机译:使用遗传算法生成有限状态机的自动测试序列