Under-Constrained Symbolic Execution: Correctness Checking for Real Code

Submitted by arnold on April 19, 2016 - 5:51 pm
TitleUnder-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