BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dunbar:Daniel

Contributed to:

OSDI 20082008
ISSTA 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.