Our lab is a very exciting place to learn and work!
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.
