Configuration error injection testing (CEIT) could systematically evaluate software reliability
and diagnosability to runtime configuration errors. This paper explores the challenges and …

Large-scale cloud services deploy hundreds of configuration changes to production systems
daily. At such velocity, configuration changes have inevitably become prevalent causes of …

Programming-by-example (PBE) has become an increasingly popular component in
software development tools, human-robot interaction, and end-user programming. A long …

Misconfigurations are major causes of software failures. Existing practices rely on developer-
written rules or test cases to validate configurations, which are expensive. Machine learning …

A large percentage of real-world software configuration issues, such as misconfigurations,
involve multiple interdependent configuration parameters. However, existing techniques and …

Many techniques were proposed for detecting software misconfigurations in cloud systems
and for diagnosing unintended behavior caused by such misconfigurations. Detection and …

Configuration changes are among the dominant causes of failures of large-scale software
system deployment. Given the velocity of configuration changes, typically at the scale of …

Cloud infrastructures are increasingly managed by Infrastructure-as-Code (IaC) frameworks
(eg, Terraform). IaC frameworks enable cloud users to configure their resources in a …

Software configurations play a crucial role in determining the behavior of software systems.
In order to ensure safe and error-free operation, it is necessary to identify the correct …

A large-scale system contains a huge configuration space because of its large number of
configuration parameters. This leads to a combination explosion among configuration …