Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs (2008)

by D R E Cristian Cadar, Daniel Dunbar
Venue:in USENIX Symposium on Operating Systems Design and Implementation (OSDI