ソフトウェアテストの技法の一つで、テスト対象のプログラム（ソースコード）の一部を意図的に変更（例：演算子を+から-に変更）した「ミュータント（突然変異体）」を作成し、既存のテストケースがその変更（バグ）を検出できるかを試すことで、テストケースの網羅性（品質）を評価する手法はどれか。