A heuristic algorithm for balancing workloads in coverage modeling.