Under-Constrained Symbolic Execution: Correctness Checking for Real Code

Title{Under-Constrained} Symbolic Execution: Correctness Checking for Real Code
Publication TypeConference Paper
Year of Publication2016
AuthorsRamos DA, Engler D
Conference Name2016 USENIX Annual Technical Conference (USENIX ATC 16)
Date Published06/2016
PublisherUSENIX Association
Conference LocationDenver, CO
URLhttps://www.usenix.org/conference/atc16/technical-sessions/presentation/ramos