Dr. Roberto Amadini
Honorary
Computing and Information Systems
32 Scholarly works
0 Projects
HIGHLIGHTS
2021
Conference Proceedings
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study
DOI: 10.1007/978-3-030-68446-4_102020
Journal article
Dashed strings for string constraint solving
DOI: 10.1016/j.artint.2020.1033682020
Conference Proceedings
Dashed Strings and the Replace(-all) Constraint
DOI: 10.1007/978-3-030-58475-7_12020
Conference Proceedings
String constraint solving: past, present and future
DOI: 10.3233/FAIA2004312020
Book Chapter
Abstract interpretation, symbolic execution and constraints
DOI: 10.4230/OASIcs.Gabbrielli.72019
Conference Proceedings
Constraint Programming for Dynamic Symbolic Execution of JavaScript
DOI: 10.1007/978-3-030-19212-9_12018
Journal article
Reference Abstract Domains and Applications to String Analysis
DOI: 10.3233/FI-2018-1650
RECENT SCHOLARLY WORKS
2018
Conference Proceedings
Sweep-based propagation for string constraint solving
2018
Journal article
SUNNY-CP and the MiniZinc challenge
DOI: 10.1017/S14710684170002052018
Conference Proceedings
Propagating lex, find and replace with dashed strings
DOI: 10.1007/978-3-319-93031-2_2