Biblio

Export 1 results:
Filters: Author is Daniel Dunbar  [Clear All Filters]
2008
Cadar C, Dunbar D, Engler D.  2008.  KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).