| |
| 2007 | ||
|---|---|---|
| 1 | EE | Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic: State space exploration using feedback constraint generation and Monte-Carlo sampling. ESEC/SIGSOFT FSE 2007: 321-330 |
| 1 | Franjo Ivancic | [1] |
| 2 | Guofei Jiang | [1] |
| 3 | Sriram Sankaranarayanan | [1] |