A Survey on String Constraint Solving

被引：21
|
作者：
Amadini, Roberto [1 ]
机构：
[1] Univ Bologna, Mura Anteo Zamboni 7, I-40126 Bologna, Italy
来源：
ACM COMPUTING SURVEYS | 2023年 / 55卷 / 01期
关键词：
String constraint solving; constraint programming; satisfiability modulo theories; automata theory; software analysis; REGULAR EXPRESSIONS; ABSTRACT DOMAINS; WORD EQUATIONS; LOGIC; LANGUAGE; GRAMMAR; SATISFIABILITY; MINIZINC; SOLVER;
D O I：
10.1145/3484198
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页数：38
相关论文
共 50 条
  • [1] A Novel Approach to String Constraint Solving
    Amadini, Roberto
    Gange, Graeme
    Stuckey, Peter J.
    Tack, Guido
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017), 2017, 10416 : 3 - 20
  • [2] Dashed strings for string constraint solving
    Amadini, Roberto
    Gange, Graeme
    Stuckey, Peter J.
    ARTIFICIAL INTELLIGENCE, 2020, 289
  • [3] Constraint Solving on Bounded String Variables
    Scott, Joseph D.
    Flener, Pierre
    Pearson, Justin
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, 2015, 9075 : 375 - 392
  • [4] String Constraint Solving: Past, Present and Future
    Amadini, Roberto
    Gange, Graeme
    Schachte, Peter
    Sondergaard, Harald
    Stuckey, Peter J.
    ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 2875 - 2876
  • [5] Solving String Constraints: The Case for Constraint Programming
    He, Jun
    Flener, Pierre
    Pearson, Justin
    Zhang, Wei Ming
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, 2013, 8124 : 381 - 397
  • [6] Sweep-Based Propagation for String Constraint Solving
    Amadini, Roberto
    Gange, Graeme
    Stuckey, Peter J.
    THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 6557 - 6564
  • [7] Search-driven String Constraint Solving for Vulnerability Detection
    Thome, Julian
    Shar, Lwin Khin
    Bianculli, Domenico
    Briand, Lionel
    2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2017, : 198 - 208
  • [8] Constraint solving in uncertain and dynamic environments: A survey
    Verfaillie, G
    Jussien, N
    CONSTRAINTS, 2005, 10 (03) : 253 - 281
  • [9] Constraint Solving in Uncertain and Dynamic Environments: A Survey
    Gérard Verfaillie
    Narendra Jussien
    Constraints, 2005, 10 : 253 - 281
  • [10] A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
    Chen, Yu-Fang
    Havlena, Vojtech
    Lengal, Ondrej
    Turrini, Andrea
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2020, 2020, 12470 : 343 - 363
12345