Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.

First Page		Document Content
Date: 2016-03-08 07:04:45		Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 132,32 KB Share Document on Facebook