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

Hua Yan Wei Zhang Haiyan Zhao Hong Mei An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints. 65-75 2009 ICSR http://dx.doi.org/10.1007/978-3-642-04211-9_7 conf/icsr/2009 db/conf/icsr/icsr2009.html#YanZZM09