Redundant State Detection for Dynamic Symbolic Execution

TitleRedundant State Detection for Dynamic Symbolic Execution
Publication TypeConference Paper
Year of Publication2013
AuthorsBugrara S, Engler D
Conference Name2013 USENIX Annual Technical Conference (USENIX ATC 13)
Date Published06/2013
PublisherUSENIX Association
Conference LocationSan Jose, CA
ISBN Number978-1-931971-01-0
URLhttps://www.usenix.org/conference/atc13/technical-sessions/presentation/bugrara