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
相关论文
共 178 条
  • [1] Efficient Handling of String-Number Conversion
    Abdulla, Parosh Aziz
    Atig, Mohamed Faouzi
    Chen, Yu-Fang
    Diep, Bui Phi
    Dolby, Julian
    Jank, Petr
    Lin, Hsin-Hung
    Holik, Lukas
    Wu, Wei-Cheng
    [J]. PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 943 - 957
  • [2] Abdulla PA, 2017, ACM SIGPLAN NOTICES, V52, P602, DOI [10.1145/3062341.3062384, 10.1145/3140587.3062384]
  • [3] Norn: An SMT Solver for String Constraints
    Abdulla, Parosh Aziz
    Atig, Mohamed Faouzi
    Chen, Yu-Fang
    Holik, Lukas
    Rezine, Ahmed
    Rummer, Philipp
    Stenman, Jari
    [J]. COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 462 - 469
  • [4] Abdulla PA, 2014, LECT NOTES COMPUT SC, V8559, P150, DOI 10.1007/978-3-319-08867-9_10
  • [5] Abdulla Parosh Aziz, 2018, 2018 FORM METH COMP, P1, DOI DOI 10.23919/FMCAD.2018.8602997
  • [6] AKERS SB, 1978, IEEE T COMPUT, V27, P509, DOI 10.1109/TC.1978.1675141
  • [7] Alur R, 2015, ACM SIGPLAN NOTICES, V50, P125, DOI [10.1145/2775051.2676981, 10.1145/2676726.2676981]
  • [8] Alur R, 2011, LECT NOTES ARTIF INT, V6642, P1, DOI 10.1007/978-3-642-20920-8_1
  • [9] Amadini Roberto, 2020, Principles and Practice of Constraint Programming. 26th International Conference, CP 2020. Proceedings. Lecture Notes in Computer Science (LNCS 12333), P3, DOI 10.1007/978-3-030-58475-7_1
  • [10] String Constraint Solving: Past, Present and Future
    Amadini, Roberto
    Gange, Graeme
    Schachte, Peter
    Sondergaard, Harald
    Stuckey, Peter J.
    [J]. ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 2875 - 2876
12345678910