Nondeterministic finite state machines; Adaptive homing sequence; Adaptive distinguishing sequence; Novel heuristics;
机译:启发式推导非确定性有限状态机的区分实验
机译:非确定性有限状态机的自适应区分测试用例:测试用例推导和长度估计
机译:非确定性有限状态机的归位序列存在的复杂性
机译:用于衍生自适应归巢的启发式和非定义有限状态机的区分序列
机译:均值与有限域元素的乘法顺序和可分解序列素数的出现等级的启发法有关。
机译:由机器代数理论推导的有限半群结果
机译:用于确定性有限状态机的自适应归位和区分序列的启发式方法
机译:有限状态机分解与分区的最优和启发式算法。