29 Okt 2008 Jahr - Cadar, C., Dunbar, D. & Engler, D. (2008) Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs, in Proceedings of the 8th USENIX conference on Operating systems design and implementation (Band der Zeit)