Under-Constrained Symbolic Execution: Correctness Checking for Real Code

No ratings

Presented at SecuritySymposium 2015 by

Dawson Engler

David Ramos

N/A