WG211/M13Kaestner

I'll be giving an update on our work on variability-aware execution, introduced in Minneapolis. The key idea is to execute a program (test case) over all possible configurations, exposing all interactions among configuration options. Since the last meeting, we have implemented a variability-aware interpreter and experimented with executing WordPress with 50 optional plugins. We found interactions among up to 16 of the 50 plugins but also that plugins have mostly orthogonal effects allowing our approach to scale. Overall, we could execute all 2^50 configurations within 7 minutes and found 2 interaction bugs in the process. I'll outline ideas for further applications beyond testing.