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.
Amadini R., Gange G., Schachte P., Sondergaard H., Stuckey P.J. (2020). String constraint solving: Past, present and future. IOS Press BV [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 in questo prodotto:
| 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.
