| 2008 | ||
|---|---|---|
| 3 | EE | Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan: Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300 |
| 2 | EE | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866 |
| 2007 | ||
| 1 | EE | Marcelo d'Amorim, Steven Lauterburg, Darko Marinov: Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60 |
| 1 | Milos Gligoric | [2] |
| 2 | Tihomir Gvero | [2] |
| 3 | Sarfraz Khurshid | [2] |
| 4 | Darko Marinov | [1] [2] [3] |
| 5 | Ahmed Sobeih | [3] |
| 6 | Mahesh Viswanathan | [3] |
| 7 | Marcelo d'Amorim | [1] [2] |