It is proved that this algorithm can produce test case of path coverage testing aut...

• 对含有非线性谓词、数组的程序实例进行实验,结果表明改进算法能有效生成测试用例。