@inproceedings {258902, author = {Yigong Hu and Gongqi Huang and Peng Huang}, title = {Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution}, booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)}, year = {2020}, isbn = {978-1-939133-19-9}, pages = {719--734}, url = {https://www.usenix.org/conference/osdi20/presentation/hu}, publisher = {USENIX Association}, month = nov }