String constraint solving refers to solving combinatorial problems involving constraints over string variables. String solving approaches have become popular over the last years given the massive use of strings in different application domains like formal analysis, automated testing, database query processing, and cybersecurity. This paper reports a comprehensive survey on string constraint solving by exploring the large number of approaches that have been proposed over the last decades to solve string constraints.

翻译：字符串限制的解决是指解决涉及字符串变量制约的组合问题。 字符串解决方法在过去几年中变得很受欢迎,因为在正式分析、自动测试、数据库查询处理和网络安全等不同应用领域大量使用字符串。 本文报告了一项关于通过探索过去几十年中为解决字符串限制而提出的大量方法来解决字符串限制问题的全面调查。