Binary-Search Based Verification of Feature Models

Wei Zhang, Haiyan Zhao, Hong Mei. Binary-Search Based Verification of Feature Models. In Klaus Schmid, editor, Top Productivity through Software Reuse - 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings. Volume 6727 of Lecture Notes in Computer Science, pages 4-19, Springer, 2011. [doi]

Authors

Wei Zhang

This author has not been identified. Look up 'Wei Zhang' in Google

Haiyan Zhao

This author has not been identified. Look up 'Haiyan Zhao' in Google

Hong Mei

This author has not been identified. Look up 'Hong Mei' in Google