Variability Realization

Problem Space

Solution Space

Feature Interactions

How to identify, that features interact?

→ Shared variables and instances, shared memory, shared communication or direct usage

SPL Testing

Sample Based

Set Covering ist NP-Schew → Chvatal/ICLP (or YASA)