可执行路径相关论文
变异测试是一种面向缺陷的软件测试技术,然而高昂的测试代价,影响了其在实际程序测试的应用.Papadakis等人将某一程序的弱变异测试......
文中基于符号执行理论，设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树，并在此过程中对源代码......
