| |
| 2008 | ||
|---|---|---|
| 2 | EE | Yamini Kannan, Koushik Sen: Universal symbolic execution and its application to likely data structure invariant generation. ISSTA 2008: 283-294 |
| 2006 | ||
| 1 | EE | Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani: SYNERGY: a new algorithm for property checking. SIGSOFT FSE 2006: 117-127 |
| 1 | Bhargav S. Gulavani | [1] |
| 2 | Thomas A. Henzinger | [1] |
| 3 | Aditya V. Nori | [1] |
| 4 | Sriram K. Rajamani | [1] |
| 5 | Koushik Sen | [2] |