Under-Constrained Symbolic Execution: Correctness Checking for Real Code.

David A. Ramos, Dawson R. Engler

Browse the full USENIX paper archive.