路径空间缩减相关硕士博士期刊学术论文

自动化单元测试采用符号执行与约束求解的技术,通过动态执行程序,收集执行路径上的分支选择上的约束信息,通过约束求解生成覆盖该......