Information and Systems-Software Science(Date:2022/03/07)

Presentation
Recognizability Preservation of Data Word Rewrite Systems and Its Application to Protocol Verification

Yuto Sakao(Nagoya Univ.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2022-03-07
[Paper #]SS2021-46
A Method to Generate a CCS Process from Algebraic Data Transfer Architecture Model

Shinji Kageyama(Konan Univ.),  Naoya Nitta(Konan Univ.),  

[Date]2022-03-07
[Paper #]SS2021-47
テストコードの変更に基づくプルリクエストのレビュー支援

Tang Bowen(Ritsumeikan Univ.),  Katsuhisa Maruyama(Ritsumeikan Univ.),  

[Date]2022-03-07
[Paper #]SS2021-42
reversible debugging for a parallel programming language by contract annotations

Takashi Ikeda(Nagoya Univ.),  Shoji Yuen(Nagoya Univ.),  

[Date]2022-03-07
[Paper #]SS2021-48
Learning Assumptions for Compositional Verification of Timed Systems with Tree Queries

Kotaro Niimi(Nagoya Univ),  Shoji Yuen(Nagoya Univ),  

[Date]2022-03-07
[Paper #]SS2021-49
An algorithm for determining the existence of weakly appropriate data publishing policies in the relational data exchange framework

Seiya Aizaki(Nanzan Univ.),  Yasunori Ishihara(Nanzan Univ.),  

[Date]2022-03-07
[Paper #]SS2021-51
Bug Prediction using Partial Results of Software Testing

Ryoichi Hirose(Okayama Univ.),  Akito Monden(Okayama Univ.),  Masateru Tunoda(Kinki Univ.),  Mariko sasakura(Okayama Univ.),  Kinari Nishiura(Okayama Univ.),  

[Date]2022-03-07
[Paper #]SS2021-45
Experimental Evaluation of Software Project Data Recovery from Data Fragments

Masaki Nishiwaki(Okayama Univ.),  Akito Monden(Okayama Univ.),  Mariko Sasakura(Okayama Univ.),  Kinari Nishiura(Okayama Univ.),  

[Date]2022-03-07
[Paper #]SS2021-52
ソースコード変更パターンのプロジェクト共通性を考慮した変更推薦

Naoki Ando(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  

[Date]2022-03-07
[Paper #]SS2021-54
The investigation of the usage of videos and images for bug reports in GitHub

Hiroki Kuramoto(Kyushu Univ.),  Yuta Ishimoto(Kyushu Univ.),  Kaze Shindo(Kyushu Univ.),  Masanari Kondo(Kyushu Univ.),  Yutaro Kashiwa(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  

[Date]2022-03-07
[Paper #]SS2021-55
Performance Evaluation of Defect Prediction using Trace Logs

Issei Morita(Kyushu Univ.),  Yutaro Kashiwa(Kyushu Univ.),  Tsukasa Nakamura(Kyushu Univ.),  Hiroki Yamamoto(Kyushu Univ.),  Masanari Kondo(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  

[Date]2022-03-07
[Paper #]SS2021-53
Trace Ablation and Fault Localization per Method Using Machine Learning Models for Automatic Classification of Test Execution Results

Takuma Ikeda(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  Shinpei Ogata(Shinshu Univ.),  Shin Nakajima(NII),  

[Date]2022-03-07
[Paper #]SS2021-44
Extracting Optimal Query Keywords from Bug Report for IR-based Bug Localization

Kazuki Hayashi(Tokyo Tech.),  Takashi Kobayashi(Tokyo Tech.),  

[Date]2022-03-07
[Paper #]SS2021-56
Project-domain adaptation with RoBERTa Model for Code Completion

Daisuke Fukumoto(NAIST),  Toshiki Hirao(NAIST),  Kenji Fujiwara(TCU),  Hajimu Iida(NAIST),  

[Date]2022-03-07
[Paper #]SS2021-50
Automating code review based on source code

Akihito Ihara(NAIST),  Toshiki Hirao(NAIST),  Kenji Fujiwara(TCU),  Hajimu Iida(NAIST),  

[Date]2022-03-07
[Paper #]SS2021-43
Dynamic Graph Based Visualization to Combine Sequence and Object Diagrams

Aki Hongo(Konan Univ.),  Naoya Nitta(Konan Univ.),  

[Date]2022-03-08
[Paper #]SS2021-59
An evaluation of the correlation between task characteristics and input data size in Scientific Workflows

Taichi Sugimura(Graduate School of Doshisha Univ.),  Tahahiro Koita(Graduate School of Doshisha Univ.),  

[Date]2022-03-08
[Paper #]SS2021-66
プログラミング教育における課題達成状況比較システムの試作

,  ,  ,  

[Date]2022-03-08
[Paper #]SS2021-63
Experimental Evaluation of Inferring Software Description Using Project Corpus

Kohei Terakawa(Kobe Univ.),  Chen Sinan(Kobe Univ.),  Masahide Nakamura(Kobe Univ.),  

[Date]2022-03-08
[Paper #]SS2021-57
Evaluation of Automatic Program Repair Methods Using Program Editing Histories of Novice Programmers.

Haruki Matsuo(Kyushu Univ.),  Masanari Kondo(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  Yuta Taniguchi(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  

[Date]2022-03-08
[Paper #]SS2021-62
12>> 1-20hit(27hit)