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

by Cristian Cadar, Daniel Dunbar, Dawson Engler
Venue:In Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI'08