Information and Systems-Software Science(Date:2019/10/24)

Presentation
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems

Reo Yoshimura(Nagoya Univ.),  Yoshiaki Takata(Kochi-tech.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2019-10-24
[Paper #]SS2019-16,DC2019-44
A Non-scan Online Test Method Based on n-Time State Transition Coverage

Yuki Ikegaya(Nihon Univ.),  Yuta Ishiyama(Nihon Univ.),  Toshinori Hosokawa(Nihon Univ.),  Masayoshi Yoshimura(Kyoto Sangyo Univ.),  

[Date]2019-10-24
[Paper #]SS2019-19,DC2019-47
Error correction method using convolutional code in PPM compression

Takumi Abe(Chiba Univ.),  Masato Kitakami(Chiba Univ.),  

[Date]2019-10-24
[Paper #]SS2019-20,DC2019-48
Extending rewriting induction to existentially quantified equations

Kazushi Nishie(Nagoya Univ.),  Naoki Nishida(Nagoya Univ.),  Masahiko sakai(Nagoya Univ.),  

[Date]2019-10-24
[Paper #]SS2019-17,DC2019-45
Bug Localizationに対して不吉な臭いを使用する有用性の解明

Aoi Takahashi(Tokyo Tech),  Natthawute Sae-Lim(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  Motoshi Saeki(Tokyo Tech),  

[Date]2019-10-24
[Paper #]SS2019-13,DC2019-41
Design of reconstructing a CUI tool as a service for supporting development

Ko Miyazaki(Kyoto Sangyo Univ.),  Haruaki Tamada(Kyoto Sangyo Univ.),  

[Date]2019-10-24
[Paper #]SS2019-14,DC2019-42
Change Untangling結果の対話的最適化支援環境の試作

Satoshi Yamashita(Tokyo Tech),  Shinpei Hayashi(Tokyo Tech),  Motoshi Saeki(Tokyo Tech),  

[Date]2019-10-24
[Paper #]SS2019-15,DC2019-43
四天王問題の一般化と継続渡しスタイルの関数型言語における非決定性計算による解法プログラム

,  ,  ,  

[Date]2019-10-24
[Paper #]SS2019-18,DC2019-46
Finding groups of similar answers in programming contests with source code metrics.

Kosuke Haraguchi(Osaka Univ.),  Tetsuya Kanda(Osaka Univ.),  Katsuro Inoue(Osaka Univ.),  

[Date]2019-10-25
[Paper #]SS2019-21,DC2019-49
変数に着目した変更メトリクスの有効性について

Takuya Kawakami(Ehime Univ.),  Hirohisa Aman(Ehime Univ.),  Minoru Kawahara(Ehime Univ.),  

[Date]2019-10-25
[Paper #]SS2019-22,DC2019-50
複数プロジェクトから高速にコードクローンを検出するキュレーションの提案

Masayuki Doi(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2019-10-25
[Paper #]SS2019-23,DC2019-51
Improvement of understandability metrics of UML Class Diagrams using word similarity

Akihito Ihara(NITNC),  Shinji Uchida(NITNC),  

[Date]2019-10-25
[Paper #]SS2019-24,DC2019-52