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.
Original language | English |
---|---|
Title of host publication | ECAI 2020 24th European Conference on Artificial Intelligence 29 August–8 September 2020, Santiago de Compostela, Spain - Proceedings |
Editors | Giuseppe De Giacomo, Alejandro Catala, Bistra Dilkina, Michela Milano, Senen Barro, Alberto Bugarin, Jerome Lang |
Place of Publication | Amsterdam Netherlands |
Publisher | IOS Press |
Pages | 2875-2876 |
Number of pages | 2 |
ISBN (Electronic) | 9781643681009, 9781643681016 |
ISBN (Print) | 9781643681009 |
DOIs | |
Publication status | Published - 2020 |
Event | European Conference on Artificial Intelligence 2020 - Virtual, Santiago de Compostela, Spain Duration: 29 Aug 2020 → 8 Sep 2020 Conference number: 24th https://digital.ecai2020.eu (Website) http://ebooks.iospress.nl/volume/ecai-2020-24th-european-conference-on-artificial-intelligence (Proceedings) |
Publication series
Name | Frontiers in Artificial Intelligence and Applications |
---|---|
Publisher | IOS Press |
Volume | 325 |
ISSN (Print) | 0922-6389 |
Conference
Conference | European Conference on Artificial Intelligence 2020 |
---|---|
Abbreviated title | ECAI 2020 |
Country | Spain |
City | Santiago de Compostela |
Period | 29/08/20 → 8/09/20 |
Other | 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 |
Internet address |