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

researchr

You are not signed in
Sign in
Sign up

Takaaki Tateishi, Marco Pistoia, Omer Tripp. Path- and index-sensitive string analysis based on monadic second-order logic. In Matthew B. Dwyer, Frank Tip, editors, Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. pages 166-176, ACM, 2011. [doi]

This author has not been identified. Look up 'Takaaki Tateishi' in GoogleThis author has not been identified. Look up 'Marco Pistoia' in GoogleThis author has not been identified. Look up 'Omer Tripp' in Google

runs on WebDSL