Balancing Soundness and Efficiency for Practical Testing of Configurable Systems | IEEE Conference Publication | IEEE Xplore