Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- ACM SIGPLAN Notices
Paper
Publications
28 results for Satish Chandra
A survey of static analysis methods for identifying security vulnerabilities in software systems
- Marco Pistoia
- Satish Chandra
- et al.
- 2007
- IBM Systems Journal
PaperEnabling collaboration in distributed requirements management
- Vibha Sinha
- Bikram Sengupta
- et al.
- 2006
- IEEE Software
PaperA research agenda for distributed software development
- Bikram Sengupta
- Satish Chandra
- et al.
- 2006
- ICSE 2006
Conference paperTechnical forum: Using logical data models for understanding and transforming legacy business applications
- Satish Chandra
- Jackie de Vries
- et al.
- 2006
- IBM Systems Journal
PaperDeriving object typestates in the presence of inter-object references
- Mangala Gowri Nanda
- Christian Grothoff
- et al.
- 2005
- OOPSLA 2005
Conference paperDependent types for program understanding
- Raghavan Komondoor
- G. Ramalingam
- et al.
- 2005
- TACAS - ETAPS 2005
Conference paperDecentralizing execution of composite web services
- Mangala Gowri Nanda
- Satish Chandra
- et al.
- 2004
- OOPSLA 2004
Conference paper