不可达路径检测相关论文
别名分析在提高数据流分析精度和构建性能良好的程序分析工具方面发挥着重要作用。本文在分析已有别名分析框架的基础上，提出并实现......
不可达路径是造成软件测试资源消耗的一个重要方面．在路径测试之前，检测程序中的不可达路径可以有效节约软件测试资源．提出了一种基于......
