Reverse Engineering Feature Models

Our paper is available here. An implementation of our feature model synthesis is available on BitBucket.

The Linux Variability Model used in our evaluation is available as a CNF formula in dimacs format.