"Static Analysis of String Values."

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