| 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 | |
| 1 | Sarfraz Khurshid | [1] [2] |
| 2 | Darko Marinov | [1] [2] |
| 3 | Aleksandar Milicevic | [1] [2] |
| 4 | Nemanja Petrovic | [2] |