Advisors:

Many modern software systems can be customized to fulfill specific customer needs. Customization improves quality, extensibility, and usability. However, customization also comes with challenges for software analyses, because of the configuration space explosion. To analyze all configurations in isolation is expensive and often impractical. A main goal of current research on configurable systems is to provide new techniques to analyze all configurations. For some static analyses, such as type safety, this is al-ready feasible by considering variability internally. When testing configurable software usually sampling strategies are used to test a subset of all configurations. These ap-proaches might miss faults that are only contained in specific configurations and require redundant calculations. In this work, we use an approach where several configurations can be executed at once, while redundant calculations can be avoided, and thus effort for testing can be reduced. Based on previous work on variability-aware execution, we discuss how a Java Virtual Machine can be lifted to handle variability internally to execute all combinations of configuration options simultaneously. Specifically, we lifte