Binary-Search Based Verification of Feature Models.

Wei Zhang, Haiyan Zhao, Hong Mei

Browse the full ICSR paper archive.