 | 2011 |
|---|
| 7 |       | Joseph P. Near,
Aleksandar Milicevic,
Eunsuk Kang,
Daniel Jackson:
A lightweight code analysis and its role in evaluation of a dependability case.
ICSE 2011: 31-40 |
| 6 | | Aleksandar Milicevic,
Derek Rayside,
Kuat Yessenov,
Daniel Jackson:
Unifying execution of imperative and declarative code.
ICSE 2011: 511-520 |
| 5 | | Aleksandar Milicevic,
Hillel Kugler:
Model Checking Using SMT and Theory of Lists.
NASA Formal Methods 2011: 282-297 |
| 2009 |
|---|
| 4 | | 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 | | Derek Rayside,
Aleksandar Milicevic,
Kuat Yessenov,
Greg Dennis,
Daniel Jackson:
Agile specifications.
OOPSLA Companion 2009: 999-1006 |
| 2007 |
|---|
| 2 | | Sasa Misailovic,
Aleksandar Milicevic,
Nemanja Petrovic,
Sarfraz Khurshid,
Darko Marinov:
Parallel test generation and execution with Korat.
ESEC/SIGSOFT FSE 2007: 135-144 |
| 1 | | Aleksandar Milicevic,
Sasa Misailovic,
Darko Marinov,
Sarfraz Khurshid:
Korat: A Tool for Generating Structurally Complex Test Inputs.
ICSE 2007: 771-774 |
Data released under the ODC-BY 1.0 license — See also our legal information page