Unassisted and automatic generation of high-coverage tests for complex systems programs (0)

by C CADAR, D DUNBAR, D KLEE ENGLER
Venue:In OSDI’08: Proc. of the 8th USENIX Symposium on Operating Systems Design and Implementation (2008), USENIX Association