KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.

Cristian Cadar, Daniel Dunbar, Dawson R. Engler

Browse the full OSDI paper archive.