It is proved that this algorithm can produce test case of path coverage testing aut...
英
美
对含有非线性谓词、数组的程序实例进行实验,结果表明改进算法能有效生成测试用例。
目录
查词历史
英 汉