A suite of abstract domains for static analysis of string valuesGiulia CostantiniPietro Ferraraet al.2013Software - Practice and Experience