Longest path; Saturation point; L_(max); K_L; K_S;
机译:具有不同维数数组和迭代次数可变的循环的程序的自动测试数据生成的启发式方法
机译:具有可变阶段长度和固定最终时间的迭代动态规划的使用
机译:使用可变可测性度量的一维迭代数组的可测性
机译:自动测试数据生成具有可变长度阵列的程序和具有可变数量的迭代的循环
机译:使用面向方面的程序的状态变量数据流标准进行测试。
机译:天然HIV-1包膜糖蛋白三聚体中的第一个和第二个可变环(V1V2)对第三个可变环(V3)表位的内旋分子掩盖
机译:具有可变迭代次数的不同维数和长度阵列自动测试数据生成的启发式方法
机译:TsaR用户手册:评估常规和化学攻击对出击组生成影响的程序。第3卷。变量和数组定义以及其他程序辅助