Dawson R. Engler, Daniel Dunbar. Under-constrained execution: making automatic code destruction easy and scalable. In David S. Rosenblum, Sebastian G. Elbaum, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. pages 1-4, ACM, 2007. [doi]
Abstract is missing.