Daniel Dunbar

	2008
3		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		Dawson R. Engler, Daniel Dunbar: Under-constrained execution: making automatic code destruction easy and scalable. ISSTA 2007: 1-4
	2006
1		Daniel Dunbar, Greg Humphreys: A spatial data structure for fast Poisson-disk sample generation. ACM Trans. Graph. 25(3): 503-508 (2006)

Coauthor Index

1	Cristian Cadar	[3]
2	Dawson R. Engler	[2] [3]
3	Greg Humphreys	[1]

Colors in the list of coauthors