Generating Tests for Detecting Faults in Feature Models | IEEE Conference Publication | IEEE Xplore