...
机译:分离序列重叠以自动生成测试序列
Test sequence generation; Finite state machine; Separating sequence; Characterizing set; Overlap;
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:FBDTester 2.0:具有内部存储器状态的FBD程序的自动测试序列生成
机译:自动唯一输入输出序列生成,用于FSM一致性测试
机译:使用具有重叠的多个UIO序列的协议一致性测试生成
机译:使用符号语法和拟随机序列生成测试用例。
机译:更正:CLUSTOM:一种通过重叠最小化对16S rRNA下一代序列进行聚类的新方法
机译:分离序列重叠以自动生成测试序列
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。