Roberto Amadini

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study

R Amadini, G Gange, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings  |  2021  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Given a portfolio of algorithms, the goal of Algorithm Selection (AS) is to select the best algorithm(s) for a new, unseen problem..

Dashed strings for string constraint solving

R Amadini, G Gange, PJ Stuckey

Journal article  |  2020  |  Artificial Intelligence

String processing is ubiquitous across computer science, and arguably more so in web programming — where it is also a critical par..

Dashed Strings and the Replace(-all) Constraint

Roberto Amadini, Graeme Gange, Peter J Stuckey

Conference Proceedings  |  2020  |  26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Dashed strings are a formalism for modelling the domain of string variables when solving combinatorial problems with string constr..

String constraint solving: past, present and future

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Conference Proceedings  |  2020  |  24th European Conference on Artificial Intelligence, Proceedings

String constraint solving is an important emerging field, given the ubiquity of strings over different fields such as formal analy..

Abstract interpretation, symbolic execution and constraints

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter Stuckey

Book Chapter  |  2020

Abstract interpretation is a static analysis framework for sound over-approximation of all possible runtime states of a program. S..

Constraint Programming for Dynamic Symbolic Execution of JavaScript

R Amadini, M Andrlon, G Gange, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings  |  2019  |  16th International Conference, CPAIOR 2019, Proceedings

Dynamic Symbolic Execution (DSE) combines concrete and symbolic execution, usually for the purpose of generating good test suites ..

Reference Abstract Domains and Applications to String Analysis

Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander Jordan, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Journal article  |  2018  |  Fundamenta Informaticae

Abstract interpretation is a well established theory that supports reasoning about the run-time behaviour of programs. It achieves..

Sweep-based propagation for string constraint solving

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Proceedings of the 2018 AAAI Conference on Artificial Intelligence

Solving constraints over strings is an emerging important field. Recently, a Constraint Programming approach based on dashed strin..

SUNNY-CP and the MiniZinc challenge

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Journal article  |  2018  |  THEORY AND PRACTICE OF LOGIC PROGRAMMING

In Constraint Programming (CP) a portfolio solver combines a variety of difierent con- straint solvers for solving a given problem..

Propagating lex, find and replace with dashed strings

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Dashed strings have been recently proposed in Constraint Programming to represent the domain of string variables when solving comb..