Slice Heuristics Slice: –sequence of test runs without conflict Approach: –reorder slices after each iteration –form new slices after each iteration –record conflicts Convergence: –stop reordering if no improvement
{}