Automated Reasoning on Feature Models via Constraint Programming
Alvarez Divo, Carlos Renan Barboza Eduardo · 2011
Feature models are often used in software product lines to represent a set of products and reason over their properties, similarities and differences, costs, etc. The problem becomes automating suc ...