Back to Search
Start Over
A Survey on String Constraint Solving.
- Source :
-
ACM Computing Surveys . Jan2022, Vol. 54 Issue 1, p1-38. 38p. 2 Illustrations, 7 Diagrams, 1 Graph. - Publication Year :
- 2022
-
Abstract
- String constraint solving refers to solving combinatorial problems involving constraints over string variables. String solving approaches have become popular over the past few years given the massive use of strings in different application domains like formal analysis, automated testing, database query processing, and cybersecurity. This article reports a comprehensive survey on string constraint solving by exploring the large number of approaches that have been proposed over the past few decades to solve string constraints. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 03600300
- Volume :
- 54
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- ACM Computing Surveys
- Publication Type :
- Academic Journal
- Accession number :
- 160594276
- Full Text :
- https://doi.org/10.1145/3484198