Abstract: Misconfigurations have become the major cause of software failures as a consequence of software development. Traditional methodology of misconfiguration diagnosis based on program analysis ...