Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

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