Under-Constrained Symbolic Execution: Correctness Checking for Real Code

Title{Under-Constrained} Symbolic Execution: Correctness Checking for Real Code
Publication TypeConference Paper
Year of Publication2015
AuthorsRamos DA, Engler D
Conference Name24th USENIX Security Symposium (USENIX Security 15)
Date Published08/2015
PublisherUSENIX Association
Conference LocationWashington, D.C.
ISBN Number978-1-939133-11-3
URLhttps://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/ramos