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 …

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 …

Context: Both automated and manual software testing are widely applied in practice. While
being essential for project success and software quality, they are very resource-intensive …

Misconfigurations are major causes of software failures. Existing practices rely on
developerwritten rules or test cases to validate configurations, which are expensive to …

We present Ctest4J, a practical configuration testing framework for Java projects.
Configuration testing is a recently proposed approach for finding both misconfigurations and …

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 …