String Constraint Solving: Past, Present and Future

String constraint solving is an important emerging field, given the ubiquity of strings over different fields such as formal analysis, automated testing, database query processing, and cybersecurity. This paper highlights the current state-of-the-art for string constraint solving, and identifies future challenges in this field.

Authors

• Roberto Amadini
• Graeme Gange
• Peter Schachte
• Harald Søndergaard
• Peter J. Stuckey

Keywords

No keywords are indexed for this paper.