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

by Cristian Cadar, Daniel Dunbar, Dawson Engler
Venue:In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation, December 2008. Cited on