Path- and index-sensitive string analysis based on monadic second-order logic.

Takaaki Tateishi, Marco Pistoia, Omer Tripp

Browse the full ISSTA paper archive.