10月19日(月) 午後 セッション1 座長: 新井雅之(日本大学) 13:00 - 14:30 |
(1) |
13:00-13:25 |
実行ログの比較によるシェルスクリプト振る舞い検証 |
○桐生仁司(信州大)・須田 聡(三菱電機)・小形真平・岡野浩三(信州大) |
(2) |
13:25-13:50 |
LTL Model Checking for Register Pushdown Systems |
○Ryoma Senda(Nagoya Univ.)・Yoshiaki Takata(KUT)・Hiroyuki Seki(Nagoya Univ.) |
(3) |
13:50-14:15 |
不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法 |
○金 浩・土屋達弘(阪大) |
|
14:15-14:30 |
休憩 ( 15分 ) |
10月19日(月) 午後 セッション2 座長: 林晋平(東京工業大学) 14:30 - 16:00 |
(4) |
14:30-14:55 |
言語モデルに基づくDockerfileコード補完システムの提案 |
○華山魁生・柗本真佑・楠本真二(阪大) |
(5) |
14:55-15:20 |
コンテナ仮想化技術におけるSelf-Admitted Technical Debtの調査 |
○東 英明・柗本真佑(阪大)・亀井靖高(九大)・楠本真二(阪大) |
(6) |
15:20-15:45 |
プルリクエスト型開発への統合を目的としたコードクローン修正支援システムの提案 |
○中川 将・肥後芳樹・楠本真二(阪大) |
|
15:45-16:00 |
休憩 ( 15分 ) |
10月19日(月) 午後 セッション3 座長: 小形真平(信州大学) 16:00 - 17:15 |
(7) |
16:00-16:25 |
現実的な設定に基づいたバグ予測モデルの構築及び精度評価 |
○荻野 翔・肥後芳樹・楠本真二(阪大) |
(8) |
16:25-16:50 |
コードレビュー向けコメント行位置予測ツールの試作 |
○神谷年洋(島根大) |
(9) |
16:50-17:15 |
継続渡しスタイルの関数型言語における非決定性プログラムに関する考察 |
○佐野勇樹・横本勇希・小島 渚・島 和之(広島市大) |