An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints.

Hua Yan, Wei Zhang, Haiyan Zhao, Hong Mei

Browse the full ICSR paper archive.