Covering arrays for efficient fault characterization in complex configuration spaces