The Linux kernel is highly-configurable, with a build system that takes a configuration file as
input and automatically tailors the source code accordingly. Configurability, however …

Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0
expose highly variable systems with colossal configuration spaces. The automated analysis …

The colossal solution spaces of most configurable systems make intractable their exhaustive
exploration. Accordingly, relevant analyses remain open research problems. There exist …

A critical aspect of software development, build reproducibility, ensures the dependability,
security, and maintainability of software systems. Although several factors, including the …

The Linux kernel offers more than ten thousands configuration options that can be combined
to build an almost infinite number of kernel variants. Developers and contributors spend …

Highly-Configurable Software Systems (HCSSs) support the systematic evolution of systems
in space, ie, the inclusion of new features, which then allow users to configure software …

The source code of highly-configurable software is challenging to comprehend, analyze,
and test. In particular, it is hard to identify all configurations that comprise a certain code …

Conversational agents in healthcare are gaining popularity, for example, in the context of
eliciting medical histories. Furthermore, due to the growing diversity of use cases and …

Software configurability opens the door to misconfiguration vulnerabilities, invalid settings
that expose software weaknesses. Misconfiguration is one the top ten most critical security …

Continuous testing is widely used for facilitating fast and reliable software delivery. However,
build-time configurability makes such testing harder for configurable software. As …