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