Johansen et al. 2011 feature models discussed in "Properties of Realistic Feature Models make Combinatorial Testing of Product Lines Feasible"

Download the feature models discussed in the paper here.

Contains the following models from various sources

[3]: http://code.google.com/p/linux-variability-analysis-tools/source/browse/?repo=formulas
[4]: http://sourceforge.net/projects/violet/
[5]: http://www.oracle.com/us/products/database/berkeley-db/index.html
[6]: http://www.sei.cmu.edu/productlines/ppl/
[7]: http://www.tightvnc.com/
[8]: http://fame-dbms.org/