M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs.

Agostino Cortesi, Martina Olliaro

Browse the full TASE paper archive.