Publications

3 results at ISSTA 2011

Using binary decision diagrams for combinatorial test design
- - Itai Segall
  - Rachel Tzoref-Brill
  - et al.
- 2011
- ISSTA 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