Cristian Cadar Dawson R. Engler Execution Generated Test Cases: How to Make Systems Code Crash Itself. 2-23 2005 conf/spin/2005 SPIN http://dx.doi.org/10.1007/11537328_2 db/conf/spin/spin2005.html#CadarE05