FSM; EFSM; Minimum test sequences; Random testing; Test coverage; Computer architecture;
机译:使用Monte Carlo树搜索生成来自EFSM模型的可行协议测试序列
机译:用于生成EFSM指定的协议测试序列的启发式转换可执行性分析方法
机译:一种基于搜索的集成方法,可从扩展有限状态机(EFSM)模型进行自动测试
机译:FSM / EFSM模型的基于覆盖基的测试序列
机译:面向容错软件系统的基于覆盖率的测试策略和可靠性建模。
机译:测试从基因组序列的物种形成模型:上新世气候波动期间东南亚苏斯岛物种的发散和不对称混合
机译:EFSM模型中的通信协议的自动生成扩展UIO序列