Under-Constrained Symbolic Execution: Correctness Checking for Real Code presented at SecuritySymposium 2015

by Dawson Engler, David A. Ramos,

Summary : N/A