Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution

TitleAutomated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution
Publication TypeConference Paper
Year of Publication2020
AuthorsHu Y, Huang G, Huang P
Conference Name14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)
Date Published11/2020
PublisherUSENIX Association
ISBN Number978-1-939133-19-9
URLhttps://www.usenix.org/conference/osdi20/presentation/hu