05月31日(Sun) 17:20〜19:00 H会場(5F北-小講義室 (583))
演題番号 | 2H5-OS-03b-5 |
---|---|
題目 | 組合せテストケース生成問題に対する制約解集合プログラミングの適用 |
著者 | 兼行 大将(神戸大学大学院システム情報学研究科) 番原 睦則(神戸大学 情報基盤センター) 宋 剛秀(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) 井上 克巳(国立情報学研究所) |
時間 | 05月31日(Sun) 18:40〜19:00 |
概要 | 制約解集合プログラミング(CASP;Constraint Answer Set Programming)は,解集合プログラミングと制約プログラミングを融合した新しいプログラミングパラダイムである.近年,SAT技術を応用した高速なCASPソルバが開発され,注目を集めている.本研究では,組合せテストケース生成問題に対して,制約充足問題としての定式化およびCASP符号化を提案し,その有効性を検証する. |
論文 | PDFファイル |