A systematic test case selection methodology for product lines: results and insights from an industrial case study
Minion: A Fast Scalable Constraint Solver