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