@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00229634,
 author = {李, 健翔 and 岸, 知二},
 book = {第85回全国大会講演論文集},
 issue = {1},
 month = {Feb},
 note = {ソフトウェア開発において、ソフトウェアの正確性や信頼性を検証することは重要であり、それらを確認する手法が研究されている。また近年、システムが持つ可変性が増えてきたことで、システムは多くのバリエーションを持ち、検証が困難になっている。そのため多くのバリエーションの中で実際によく使われるバリエーションを識別することが有用だと考えられ、その研究として可変性マイニングという手法が存在する。そこで本研究では、検証を指向した可変性マイニング手法を提案し、評価実験として2つの検証を行った。1つ目がテストケースの優先度付け、2つ目がファミリーベースのモデル検査である。この2つの検証へ応用し評価をする。},
 pages = {209--210},
 publisher = {情報処理学会},
 title = {ソフトウェア検証のための可変性マイニング手法},
 volume = {2023},
 year = {2023}
}