A research agenda for distributed software development
- Bikram Sengupta
- Satish Chandra
- et al.
- 2006
- ICSE 2006
Publications
Date
Featured collections
Popular topics
28 results for Satish Chandra
Dependent types for program understanding
- Raghavan Komondoor
- G. Ramalingam
- et al.
- 2005
- TACAS - ETAPS 2005
Test generation from business rules
- Simon Holm Jensen
- Suresh Thummalapenta
- et al.
- 2015
- ICST 2015
Robust test automation using contextual clues
- Rahulkrishna Yandrapally
- Suresh Thummalapenta
- et al.
- 2014
- ISSTA 2014
Efficiently scripting change-resilient tests
- Suresh Thummalapenta
- Nimit Singhania
- et al.
- 2012
- FSE 2012
Fault localization for data-centric programs
- Diptikalyan Saha
- Mangala Gowri Nanda
- et al.
- 2011
- FSE 2011
Programming with angelic nondeterminism
- Rastislav Bodik
- Satish Chandra
- et al.
- 2010
- POPL 2010
The CLOSER: Automating resource management in Java
- Isil Dillig
- Thomas Dillig
- et al.
- 2008
- ISMM 2008
Generating precise and concise procedure summaries
- Greta Yorsh
- Eran Yahav
- et al.
- 2008
- POPL 2008
Verifying dereference safety via expanding-scope analysis
- A. Loginov
- E. Yahav
- et al.
- 2008
- ISSTA 2008