Under-Constrained Symbolic Execution: Correctness Checking for Real Code presented at SecuritySymposium 2015
by Dawson Engler, David A. Ramos,
Summary : N/A
Under-Constrained Symbolic Execution: Correctness Checking for Real Code presented at SecuritySymposium 2015
by Dawson Engler, David A. Ramos,
Summary : N/A