Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems | IEEE Conference Publication | IEEE Xplore