Search
 
loader loading subjects...
cover
String Constraint Solving: Past, Present and Future
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2875 - 2876
10.3233/FAIA200431
Research Article
Frontiers in Artificial Intelligence and Applications
Volume 325: ECAI 2020
Abstract

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.

Download
Creative Commons License