A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.

Wei Zhang, Hua Yan, Haiyan Zhao, Zhi Jin

Browse the full ICSR paper archive.