ソフトウェア開発において、ソフトウェアの正確性や信頼性を検証することは重要であり、それらを確認する手法が研究されている。また近年、システムが持つ可変性が増えてきたことで、システムは多くのバリエーションを持ち、検証が困難になっている。そのため多くのバリエーションの中で実際によく使われるバリエーションを識別することが有用だと考えられ、その研究として可変性マイニングという手法が存在する。そこで本研究では、検証を指向した可変性マイニング手法を提案し、評価実験として2つの検証を行った。1つ目がテストケースの優先度付け、2つ目がファミリーベースのモデル検査である。この2つの検証へ応用し評価をする。