String constraint solving: past, present and future
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey
24th European Conference on Artificial Intelligence, Proceedings | University of Santiago de Compostela | Published : 2020
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.
Related Projects (1)
Awarded by Australian Research Council (ARC)
This work is supported by the Australian Research Council (ARC) through Linkage Project Grant LP140100437 and Discovery Early Career Researcher Award DE160100568.