字符串约束求解综述
A Survey on String Constraint Solving
University of Bologna（博洛尼亚大学）
摘要：
字符串约束求解是指解决涉及字符串变量约束的组合问题。字符串求解方法在过去几年中变得流行，因为字符串在不同的应用领域中大量使用，如形式分析，自动化测试，数据库查询处理和网络安全。本文报告了一个全面的调查字符串约束解决探索了大量的方法，已经提出了在过去的几十年来解决字符串约束。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
