"A suite of abstract domains for static analysis of string values."

Giulia Costantini, Pietro Ferrara, Agostino Cortesi (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics