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.
String constraint solving: Past, present and future / Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.. - ELETTRONICO. - 325:(2020), pp. 2875-2876. (Intervento presentato al convegno 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 tenutosi a Santiago de Compostela, Spain nel 2020) [10.3233/FAIA200431].
String constraint solving: Past, present and future
Amadini R.
Primo
;
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
FAIA-325-FAIA200431.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione - Non commerciale (CCBYNC)
Dimensione
175.61 kB
Formato
Adobe PDF
|
175.61 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
