| * | 2009 |
|---|
| 4 | EE | Derek Rayside,
Zev Benjamin,
Rishabh Singh,
Joseph P. Near,
Aleksandar Milicevic,
Daniel Jackson:
Equality and hashing for (almost) free: Generating implementations from abstraction functions.
ICSE 2009: 342-352 |
| 3 | EE | Derek Rayside,
Aleksandar Milicevic,
Kuat Yessenov,
Greg Dennis,
Daniel Jackson:
Agile specifications.
OOPSLA Companion 2009: 999-1006 |
| 2007 |
|---|
| 2 | EE | Sasa Misailovic,
Aleksandar Milicevic,
Nemanja Petrovic,
Sarfraz Khurshid,
Darko Marinov:
Parallel test generation and execution with Korat.
ESEC/SIGSOFT FSE 2007: 135-144 |
| 1 | EE | Aleksandar Milicevic,
Sasa Misailovic,
Darko Marinov,
Sarfraz Khurshid:
Korat: A Tool for Generating Structurally Complex Test Inputs.
ICSE 2007: 771-774 |
