Execution generated test cases: How to make systems code crash itself (0)

by C CADAR, D R ENGLER
Venue:In SPIN’05: Proc. of the 12th Int. SPIN Workshop on Model Checking Software (2005