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

von Hu, Yigong
Veröffentlicht in USENIX Symposium on Operating Systems Design and Implementation (14. : 2020 : Online) 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) ; Volume 2 of 2 (2020)