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

Open Webpage

Takaaki Tateishi, Marco Pistoia, Omer Tripp

Published: 01 Jan 2013, Last Modified: 31 Jul 2025ACM Trans. Softw. Eng. Methodol. 2013EveryoneRevisionsBibTeXCC BY-SA 4.0