机译:SPMLS:一种具有候选生成和频率测试的有效顺序模式挖掘算法
机译:迈向基于模型的交互式系统自启动和自检一致性测试
机译:通过自动测试模式生成,基于增量式SAT的顺序电路精确自动校正
机译:交互式顺序测试模式生成系统
机译:用于时序电路的全局测试生成系统。
机译:考虑多模系统测试放置成本的最优顺序诊断策略生成
机译:spmLs:一种具有候选生成和频率测试的高效序列模式挖掘算法
机译:年轻研究者计划(8.5):通过错误的行为生成和强大的人类任务行为模式预防人类交互系统的复杂故障。