Document Versions

Execution generated test cases: How to make systems code crash itself –Cristian Cadar, Dawson Engler — 2005
Execution Generated Test Cases: How to Make Systems Code Crash Itself –Cristian Cadar, Dawson Engler — 2005
Execution generated test cases: How to make systems code crash itself –Cristian Cadar, Dawson Engler — 2005 — In Proc. of SPIN Workshop