会议论文《一个多策略的路径条件求解算法 - 第五届中国软件工程大会》提出了一种结合多种策略的路径条件求解方法，旨在提高软件测试中路径分析的效率和准确性。该算法通过整合不同搜索策略，有效处理复杂程序中的路径约束问题，为软件验证与测试提供了新的思路和技术支持。
文档为pdf格式，0.26MB，总共3页。
举报
