Travelled to:1 × USA
1 × United Kingdom
Collaborated with:D.R.Engler C.Cadar
Talks about:automat (2) constrain (1) unassist (1) destruct (1) scalabl (1) program (1) generat (1) coverag (1) complex (1) system (1)
Person: Daniel Dunbar
DBLP: Dunbar:Daniel
Contributed to:
2008
2007Wrote 2 papers:
- OSDI-2008-CadarDE #automation #generative #named #source code #testing
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (CC, DD, DRE), pp. 209–224.
- ISSTA-2007-EnglerD #automation #execution #scalability
- Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.