A comparison of 10 sampling algorithms for configurable systems
Type checking annotation-based product lines