...
机译:针对非确定性有限状态机测试确定性实现时生成候选
Brunei University, Uxbridge, Middlesex, UK;
机译:用于确定性有限状态机的自适应区分测试用例的增量和启发式方法
机译:针对不可控制的非确定性流X机测试确定性实现
机译:针对非确定性流X机测试确定性实现的一致性
机译:确定性有限状态自动化和非确定性有限状态自动机的等同性,使用编程代码接受3型语言的验收
机译:使用非确定性的进化启发法对面积,功率和可测性进行FSM状态分配。
机译:指数计算更快:使用DNA实现不确定的通用图灵机
机译:在针对非确定性有限状态机测试确定性实现时生成候选者