@inproceedings{weko_229634_1, author = "李,健翔 and 岸,知二", title = "ソフトウェア検証のための可変性マイニング手法", booktitle = "第85回全国大会講演論文集", year = "2023", volume = "2023", number = "1", pages = "209--210", month = "feb" }