X Lian, Y Chen, R Cheng, J Huang, P Thakkar… - arXiv e …, 2023 - ui.adsabs.harvard.edu
Misconfigurations are the major causes of software failures. Existing configuration validation
techniques rely on manually written rules or test cases, which are expensive to implement …