突然変異体と突然変異スコア

プログラム $p$ に小さな構文上の変更（演算子の置き換え、定数の変更、文の削除など）を 1 か所加えたプログラム $p'$ を、$p$ の突然変異体という。変更を 2 か所以上加えたものを高次の突然変異体という。

$p$ が合格しているテスト集合 $T$ について、ある $x \in T$ で $p'$ が不合格になるとき、$T$ は $p'$ を殺すという。オラクルが出力を $p$ の出力と比べるものであれば、これは「ある $x \in T$ で $p'(x) \ne p(x)$」と同じである。

すべての $x \in D$ で $p'(x) = p(x)$（一方が定まらなければ他方も定まらない）である突然変異体を等価であるという。突然変異体の集合 $\mathcal{P}$ に対する $T$ の突然変異スコアを

と定める。