Modern cloud systems are orchestrations of independent and interacting (sub-) systems,
each specializing in important services (eg, data processing, storage, resource …

Software systems introduce an increasing number of configuration options to provide
flexibility, and support updating the options on the fly to provide persistent services. This …

Cloud systems are increasingly being managed by operation programs termed operators,
which automate tedious, human-based operations. Operators of modern management …

Virtual devices based on device emulation have been widely used in lab research of mobile
app testing for their efficiency and low cost. However, it remains controversial to use virtual …

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 …

Today's software failures have two dominating root causes: code bugs and
misconfigurations. To combat failure-inducing software changes, unified regression testing …

File systems play an essential role in modern society for managing precious data. To meet
diverse needs, they often support many configuration parameters. Such flexibility comes at …

We develop NetCov, the first tool to reveal which network configuration lines are tested by a
suite of network tests. It helps network engineers improve test suites and thus increase …

Although dedicated efforts have been devoted to ensuring the service quality of online
service systems, these systems are still suffering from incidents due to various causes, which …

Performance degradation due to misconfiguration in software systems that violates SLOs
(service-level objectives) is commonplace. Diagnosing and explaining the root causes of …