机译:使用约束输入语法生成语义有效的测试输入
Department of Computer Engineering, Sharif University of Technology, Tehran, Iran;
Department of Computer Engineering, Sharif University of Technology, Tehran, Iran;
Software testing; Test input generation; Grammar-based software; Test coverage criteria;
机译:通过基因编程和带注释的语法生成有效的基于语法的测试输入
机译:对具有高度结构化输入的程序进行基于语法的结构化模糊测试
机译:高效多振动筛振动测试的形状约束的输入估计
机译:通过组合基于搜索的测试和基于语法的模糊来生成高结构化输入数据
机译:使用泊松随机测试输入来量化神经系统的非线性输入输出转换的互相关方法。
机译:搜索并生成测试输入以进行突变测试
机译:搜索并生成测试输入以进行突变测试