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 …

Modern cluster managers like Borg, Omega and Kubernetes rely on the state-reconciliation
principle to be highly resilient and extensible. In these systems, all cluster-management …

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

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 …

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 …

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

Large services depend on correct configuration to run efficiently and seamlessly. Checking
such configuration for correctness is important because services use a large and …

Cellular service operators frequently tune the network configuration to optimize coverage,
support seamless handovers, minimize channel interference, and improve the service …

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 …

Misuse of cryptographic (crypto) APIs is a noteworthy cause of security vulnerabilities. For
this reason, static analyzers were recently proposed for detecting crypto API misuses. They …