论文标题
关于绳子约束解决的调查
A Survey on String Constraint Solving
论文作者
论文摘要
字符串约束求解是指解决涉及字符串变量约束的组合问题。鉴于在不同的应用领域中大量使用字符串，例如正式分析，自动测试，数据库查询处理和网络安全，因此在过去几年中已经流行。本文通过探索过去几十年来解决弦限制的大量方法，报告了有关弦约束解决方案的全面调查。
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.
