| 2008 |
|---|
| 4 | EE | Steven Lauterburg,
Ahmed Sobeih,
Darko Marinov,
Mahesh Viswanathan:
Incremental state-space exploration for programs with dynamically allocated data.
ICSE 2008: 291-300 |
| 3 | EE | Tihomir Gvero,
Milos Gligoric,
Steven Lauterburg,
Marcelo d'Amorim,
Darko Marinov,
Sarfraz Khurshid:
State extensions for java pathfinder.
ICSE 2008: 863-866 |
| 2 | EE | Marcelo d'Amorim,
Steven Lauterburg,
Darko Marinov:
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.
IEEE Trans. Software Eng. 34(5): 597-613 (2008) |
| 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 |
