1 January 2015

The journal article “A suite of abstract domains for static analysis of string values”, by Costantini, G., Ferrara, P., Cortesi, A., has just been published in “Software - Practice and Experience”! Available here.