| |
| 2008 | ||
|---|---|---|
| 3 | EE | Cristian Cadar, Daniel Dunbar, Dawson R. Engler: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI 2008: 209-224 |
| 2007 | ||
| 2 | EE | Dawson R. Engler, Daniel Dunbar: Under-constrained execution: making automatic code destruction easy and scalable. ISSTA 2007: 1-4 |
| 2006 | ||
| 1 | EE | Daniel Dunbar, Greg Humphreys: A spatial data structure for fast Poisson-disk sample generation. ACM Trans. Graph. 25(3): 503-508 (2006) |
| 1 | Cristian Cadar | [3] |
| 2 | Dawson R. Engler | [2] [3] |
| 3 | Greg Humphreys | [1] |