Path-and index-sensitive string analysis based on monadic second-order logic
- Takaaki Tateishi
- Marco Pistoia
- et al.
- 2013
- ACM TOSEM
Paper
Publications
52 results for Marco Pistoia
Fault localization for dynamic web applications
- Shay Artzi
- Julian Dolby
- et al.
- 2012
- IEEE TSE
PaperF4F: Taint analysis of framework-based web applications
- Manu Sridharan
- Shay Artzi
- et al.
- 2011
- OOPSLA 2011
Conference paperStatic discovery and remediation of code-embedded resource dependencies
- Nikolai Joukov
- Vasily Tarasov
- et al.
- 2011
- IM 2011
Conference paperPath- and index-sensitive string analysis based on monadic second-order logic
- Takaaki Tateishi
- Marco Pistoia
- et al.
- 2011
- ISSTA 2011
Conference paperSaving the world wide web from vulnerable JavaScript
- Salvatore Guarnieri
- Marco Pistoia
- et al.
- 2011
- ISSTA 2011
Conference paperDirected test generation for effective fault localization
- Shay Artzi
- Julian Dolby
- et al.
- 2010
- ISSTA 2010
Conference paperPractical fault localization for dynamic web applications
- Shay Artzi
- Julian Dolby
- et al.
- 2010
- ICSE 2010
Conference paperModular string-sensitive permission analysis with demand-driven precision
- Emmanuel Geay
- Marco Pistoia
- et al.
- 2009
- ICSE 2009
Conference paperA language for information flow: Dynamic tracking in multiple interdependent dimensions
- Avraham Shinnar
- Marco Pistoia
- et al.
- 2009
- PLAS 2009
Conference paper