Time-Space Efficient Regression Testing for Configurable Systems
the category - partition method for specifying and generating functional tests .