Toward Detection and Characterization of Variability Bugs in Configurable C Software: An Empirical Study | IEEE Conference Publication | IEEE Xplore