Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces

Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems is difficult becaus...