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

by C Cadar, D Dunbar, D Engler
Venue:in Proceedings of the 8th USENIX conference on Operating systems design and implementation (OSDI’08