Publications

3 results at ISSTA 2006

Role-based access control consistency validation
- - Paolina Centonze
  - Gleb Naumovich
  - et al.
- 2006
- ISSTA 2006
Conference paper
Effective typestate verification in the presence of aliasing
- - Stephen Fink
  - Eran Yahav
  - et al.
- 2006
- ISSTA 2006
Conference paper
The case for analysis preserving language transformation
- - Xiaolan Zhang
  - Larry Koved
  - et al.
- 2006
- ISSTA 2006
Conference paper