失敗したアサーションのダイナミックスライシングにより得られたスライスに対し、別の成功するアサーションのダイナミックスライシングにより得られたスライスの差集合をとることでスライスの範囲を狭め、バグの発見を支援する。