Sampling

run -sample 0.2 は精度を時間と引き換える。ミュータントのランダムな約 20% を、ID と -seed のハッシュで選んで実行し、残りを SKIPPED として報告する。それらはどのスコアにも 加算されず、スコアはサンプルの上で計算される (Gopinath et al., ICSE 2015/2016, TSE 2017: オペレーター選択や層化サンプリングは一様ランダムサンプリングよりせいぜい僅かに良く、 約 10% のサンプルでも 1 点未満しか失わない)。totals.sampled に実際に残した割合が 記録される。

ミュータントの ID はコンテントハッシュであり、ハッシュはシードも覆うので、選択には 台帳が要らない。同じ -seed なら、実行のすべてのシャードと、すべての -previous 実行が 同じミュータントを残す。minimize はキルをそのまま受け取る —— 残したミュータントの キルは依然としてキルである —— が、サンプルが除外した要件は判定を変え得るので、 redundant なテストはサンプリングの下では弱まる。