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 …

Static analysis is an important tool for detecting bugs in real-world software. The advent of
numerous analysis algorithms with their own tradeoffs has led to the proliferation of …

This paper introduces the idea of mining container image repositories for configuration and
other deployment information of software systems. Unlike traditional software repositories …

Configurable software systems are prone to configuration errors, resulting in significant
losses to companies. However, diagnosing these errors is challenging due to the vast and …

With the rise of containerization, cloud development, and continuous integration and
delivery, configuration has become an essential aspect not only to tailor software to user …

The complete perception of the environment is an important prerequisite for realizing
autonomous driving. However, due to the existence of obstructions and the limits of sensing …

Industrial control applications are usually designed by domain experts instead of software
engineers. These experts frequently use visual programming languages based on …

The efficacy of access control largely depends on how system administrators (sysadmins)
resolve access-denied issues. A correct resolution should only permit the expected access …

Recently, practitioners and researchers met to discuss the role of requirements, and AI and
SE. We offer here notes on that fascinating discussion. Also, have you considered writing for …

Configuration has become ever so complex and error-prone in today's server software. To
mitigate this problem, software vendors provide user manuals to guide system admins on …