Abstract One of the major concerns of dynamic symbolic execution (DSE) based automated test case generation is its huge search space which restricts its usage for industrial-size program testing. In fact, DSE performs test case generation by exploring paths of the program, and the number of program paths is exponential in the number of branch conditions encountered during execution. Thus, by increasing the number of branches, the search space will be extremely large and without applying an effective and efficient technique to explore the search space, DSE would fail to achieve the predesignated goals in the given budget. To this end, different search strategies have been proposed to prioritize program paths and to select the most promising ones with respect to the testing goal. In this paper, we conduct a comprehensive systematic review of search strategies in DSE. We collect different techniques and methods concerning the topic, classify and summarize them, highlight their advantages and drawbacks, and provide a complete comparison of the methods in each category. The classification is carried out according to the type of search and also the information source exploited by the strategies to direct DSE. We also analyze the evaluation methodologies of experiments reported on this subject, give a general overview of them, perform a set of experiments and provide a set of guidelines for conducting future experiments in this area of research.

中文翻译：

---

动态符号执行中搜索策略的系统回顾

摘要 基于动态符号执行 (DSE) 的自动化测试用例生成的主要问题之一是其巨大的搜索空间，这限制了其在工业规模的程序测试中的使用。实际上，DSE 通过探索程序的路径来生成测试用例，程序路径的数量与执行过程中遇到的分支条件的数量呈指数关系。因此，通过增加分支的数量，搜索空间将非常大，如果不应用有效且高效的技术来探索搜索空间，DSE 将无法在给定的预算内实现预先指定的目标。为此，已经提出了不同的搜索策略来确定程序路径的优先级并根据测试目标选择最有希望的路径。在本文中，我们对 DSE 中的搜索策略进行了全面的系统审查。我们收集有关该主题的不同技术和方法，对其进行分类和总结，突出其优缺点，并提供每个类别中方法的完整比较。分类是根据搜索类型以及指导 DSE 的策略所利用的信息源进行的。我们还分析了有关该主题的实验的评估方法，对其进行了总体概述，进行了一组实验，并为在该研究领域进行未来的实验提供了一套指导方针。并提供每个类别中方法的完整比较。分类是根据搜索类型以及指导 DSE 的策略所利用的信息源进行的。我们还分析了有关该主题的实验的评估方法，对其进行了总体概述，进行了一组实验，并为在该研究领域进行未来的实验提供了一套指导方针。并提供每个类别中方法的完整比较。分类是根据搜索类型以及指导 DSE 的策略所利用的信息源进行的。我们还分析了有关该主题的实验的评估方法，对其进行了总体概述，进行了一组实验，并为在该研究领域进行未来的实验提供了一套指导方针。