Generating Tests for Detecting Faults in Feature Models