情報・システム-ソフトウェアサイエンス(開催日:2021/03/03)

タイトル/著者/発表日/資料番号
プログラム依存グラフに基づくSystematic Edit Patternを利用した自動プログラム修正

野田 訓広(富士通研),  横山 晴樹(富士通研),  菊池 慎司(富士通研),  

[発表日]2021-03-03
[資料番号]SS2020-30
最大安全半径の監視によるコンセプトドリフト検知可能性の評価

佐藤 直人(日立),  來間 啓伸(日立),  小川 秀人(日立),  

[発表日]2021-03-03
[資料番号]SS2020-35
重み付き多重文脈自由文法とその性質について

井上 裕介(名大),  関 浩之(名大),  

[発表日]2021-03-03
[資料番号]SS2020-28
レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス

大西 晃(名大),  仙田 涼摩(名大),  高田 喜朗(高知工科大),  関 浩之(名大),  

[発表日]2021-03-03
[資料番号]SS2020-29
多目的遺伝的アルゴリズムを用いた自動プログラム生成手法の提案

渡辺 大登(阪大),  ?本 真佑(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  倉林 利行(NTT),  吉村 優(NTT),  切貫 弘之(NTT),  但馬 将貴(NTT),  丹野 治門(NTT),  

[発表日]2021-03-03
[資料番号]SS2020-33
プログラミング教育支援に向けた深層学習を用いた類似問題検索

山本 大貴(九大),  松尾 春紀(九大),  沖野 健太郎(九大),  亀井 靖高(九大),  鵜林 尚靖(九大),  

[発表日]2021-03-03
[資料番号]SS2020-36
自動生成されたテストケースが自動バグ修正の結果に与える影響の分析

松田 雄河(九大),  山手 響介(九大),  亀井 靖高(九大),  鵜林 尚靖(九大),  

[発表日]2021-03-03
[資料番号]SS2020-32
変更コード片の動的切替による自動プログラム修正のビルド時間削減の試み

古藤 寛大(阪大),  肥後 芳樹(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2021-03-03
[資料番号]SS2020-31
修正履歴を用いた機械翻訳技術による自動バグ修正の性能評価

秋山 楽登(九大),  中村 司(九大),  亀井 靖高(九大),  鵜林 尚靖(九大),  

[発表日]2021-03-03
[資料番号]SS2020-34
逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出

土屋 達弘(阪大),  

[発表日]2021-03-04
[資料番号]SS2020-40
変更履歴とゴール間依存関係を用いたゴールへの不適切な変更操作の回避支援

山崎 友路(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2021-03-04
[資料番号]SS2020-44
不適切なゴール詳細化検出のためのゴール記述類似度算出法の比較

飯島 慧(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2021-03-04
[資料番号]SS2020-39
構文種別に着目したDockerfileのコードクローン検出手法

鶴 智秋(阪大),  中川 将(阪大),  ?本 真佑(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2021-03-04
[資料番号]SS2020-37
共変更分析に基づく変更支援のための不完全な変更の収集と評価

石田 義八(東工大),  小林 隆志(東工大),  

[発表日]2021-03-04
[資料番号]SS2020-45
動的テストスメル検出のためのGradleプラグインの試作

谷口 真幸(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2021-03-04
[資料番号]SS2020-42
Untangling Composite Changes Using Tree-based Convolution Neural Network

李 聡(東工大),  小林 隆志(東工大),  

[発表日]2021-03-04
[資料番号]SS2020-46
Jupyter Notebookのための実行ログを用いた再現性支援ツールの提案

松原 直利(九大),  松井 健(九大),  鵜林 尚靖(九大),  亀井 靖高(九大),  

[発表日]2021-03-04
[資料番号]SS2020-43
複数観点を考慮したクローンリファクタリング支援

大谷 悠太郎(東工大),  林 晋平(東工大),  

[発表日]2021-03-04
[資料番号]SS2020-38
Software Analysis WorkbenchとSymbolicPathFindreを使用した網羅的な反例とパス制約の生成

辛島 凜(信州大),  小形 真平(信州大),  岡野 浩三(信州大),  

[発表日]2021-03-04
[資料番号]SS2020-41