Information and Systems-Dependable Computing(Date:2020/10/19)

Presentation
言語モデルに基づくDockerfileコード補完システムの提案

Kaisei Hanayama(Osaka Univ.),  Shinsuke Matsumoto(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

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

Hao Jin(Osaka Univ.),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Date]2020-10-19
[Paper #]SS2020-7,DC2020-24
verification of shell script behavior by comparing logs.

Hitoshi Kiryu(Shinshu Univ.),  Satoshi Suda(Advanced Technology R&D Center, MITSUBISHI Electric),  Shinpei Ogata(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  

[Date]2020-10-19
[Paper #]SS2020-5,DC2020-22
LTL Model Checking for Register Pushdown Systems

Ryoma Senda(Nagoya Univ.),  Yoshiaki Takata(KUT),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2020-10-19
[Paper #]SS2020-6,DC2020-23
An Empirical Study on Self-Admitted Technical Debt in Container-Based Virtualization

Hideaki Azuma(Osaka Univ.),  Shinsuke Matsumoto(Osaka Univ.),  Yasutaka Kamei(Kyushu Univ.),  Shinji Kusumoto(Osaka Univ.),  

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

Tasuku Nakagawa(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2020-10-19
[Paper #]SS2020-10,DC2020-27
現実的な設定に基づいたバグ予測モデルの構築及び精度評価

,  ,  ,  

[Date]2020-10-19
[Paper #]SS2020-11,DC2020-28
A Prototype Tool to Predict Comment Line Positions for Code Review

Toshihiro Kamiya(Shimane Univ.),  

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

,  ,  ,  ,  

[Date]2020-10-19
[Paper #]SS2020-13,DC2020-30