Testing; Market research; Automata; Tools; Fault detection; Software; Video recording;
机译:最优传递树和判别树,用于测试可观察的不确定状态机
机译:最优传递树和判别树,用于测试可观察的不确定状态机
机译:H-Switch Cover:一种新的测试标准,可从有限状态机生成测试用例
机译:有限状态机测试完整的往返与过渡树:在找到最有效的标准的道路上
机译:超大型自卸卡车运输路线交互的多体动态和有限元建模,用于机械健康和运输路面结构完整性
机译:基于支持向量机的树空间中树集之间不一致的测试
机译:从扩展的有限状态机(EFSM)生成用于测试的可行转换路径