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

Cristian Cadar, Daniel Dunbar, Dawson Engler
[Google Scholar] [DBLP] [Citeseer]

Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation
OSDI'08
San Diego, California
USENIX Association
Berkeley, CA, USA
Pages 209-224
2008
Note(s): symbolic execution

KLEE verifier