Tomsk State University, 36 Lenin Str., Tomsk, 634050, Russia;
American University of Sharjah, PO Box 26666, UAE;
separability relation; testing nondeterministic FSMs;
机译:非确定性有限状态机的自适应区分测试用例:测试用例推导和长度估计
机译:使用保证故障覆盖测试定时无限制的有限状态机
机译:具有多个端口的不确定性有限状态机的可控测试
机译:关于可分离关系的无限制的有限状态机测试
机译:用于建模为分层有限状态机的设计的测试指标
机译:新型的可分离式固定器在种植体周围炎中的有限元分析
机译:1具有多个端口的不确定性有限状态机的可控测试