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

Gespeichert in:

Bibliographische Detailangaben
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
1. Verfasser:	Hu, Yigong (VerfasserIn)
Weitere Verfasser:	Huang, Gongqi (VerfasserIn), Huang, Peng (VerfasserIn)
Pages:	14
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Keine Beschreibung verfügbar.