机译:测试有限状态机的并行算法:生成UIO序列
机译:使用增量遗传算法自动生成用于分支测试的测试数据
机译:使用增量遗传算法自动生成用于分支测试的测试数据
机译:利用遗传算法改进的扩展有限状态机测试生成方法
机译:一种基于状态机图和数据流信息设计测试用例序列的遗传算法。
机译:勘误到:将半自动图像分析技术与机器学习算法相结合以加速大规模遗传研究
机译:使用Supertrace算法和TESTGEN进行自动化的网络协议可达性分析:自动生成正式协议规范的测试序列
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。