Under-constrained execution: making automatic code destruction easy and scalable.

Dawson R. Engler, Daniel Dunbar

Browse the full ISSTA paper archive.