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

タイトル/著者/発表日/資料番号
言語モデルに基づくDockerfileコード補完システムの提案

華山 魁生(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2020-10-19
[資料番号]SS2020-8,DC2020-25
不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法

金 浩(阪大),  土屋 達弘(阪大),  

[発表日]2020-10-19
[資料番号]SS2020-7,DC2020-24
実行ログの比較によるシェルスクリプト振る舞い検証

桐生 仁司(信州大),  須田 聡(三菱電機),  小形 真平(信州大),  岡野 浩三(信州大),  

[発表日]2020-10-19
[資料番号]SS2020-5,DC2020-22
LTL Model Checking for Register Pushdown Systems

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

[発表日]2020-10-19
[資料番号]SS2020-6,DC2020-23
コンテナ仮想化技術におけるSelf-Admitted Technical Debtの調査

東 英明(阪大),  ?本 真佑(阪大),  亀井 靖高(九大),  楠本 真二(阪大),  

[発表日]2020-10-19
[資料番号]SS2020-9,DC2020-26
プルリクエスト型開発への統合を目的としたコードクローン修正支援システムの提案

中川 将(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2020-10-19
[資料番号]SS2020-10,DC2020-27
現実的な設定に基づいたバグ予測モデルの構築及び精度評価

荻野 翔(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2020-10-19
[資料番号]SS2020-11,DC2020-28
コードレビュー向けコメント行位置予測ツールの試作

神谷 年洋(島大),  

[発表日]2020-10-19
[資料番号]SS2020-12,DC2020-29
継続渡しスタイルの関数型言語における非決定性プログラムに関する考察

佐野 勇樹(広島市大),  横本 勇希(広島市大),  小島 渚(広島市大),  島 和之(広島市大),  

[発表日]2020-10-19
[資料番号]SS2020-13,DC2020-30