Information and Systems-Software Science(Date:2018/03/06)

Presentation
Model Checking Application to the Railway Crossing Problem for STAMP/STPA using Timed Automaton

Kozo Okano(Shinshu Univ.),  Shinpei Ogata(Shinshu Univ.),  Pan Yang(Shinshu Univ.),  Keishi Okamoto(Sendai National College of Tech.),  

[Date]2018-03-06
[Paper #]SS2017-64
Packer identification based on Malware analyzer BE-PUM

Mizuhito Ogawa(JAIST),  

[Date]2018-03-06
[Paper #]SS2017-66
既存コードの再利用によるユーティリティメソッドの自動生成

Junnosuke Matsumoto(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Kento Shimonaka(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2018-03-06
[Paper #]SS2017-69
メソッドレベルセマンティックバージョニングの提案

Junichi Hayashi(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2018-03-06
[Paper #]SS2017-67
Toward Visualization of Discussions about Software Quality in OSS Development

Shunta Nakanishi(NAIST),  Eunjong Choi(NAIST),  Hajimu Iida(NAIST),  

[Date]2018-03-06
[Paper #]SS2017-70
An Investigation into the Characteristics of Source Code for Supporting Inline Method

Yuki Yamada(NAIST),  Kyohei Uemura(NAIST),  Eunjong Choi(NAIST),  Norihiro Yoshida(Nagoya Univ.),  Hajimu Iida(NAIST),  

[Date]2018-03-06
[Paper #]SS2017-68
A symbolic Zone-based reachability analysis for dense-timed pushdown automata with freezing clocks

Shoji Yuen(Nagoya Univ.),  Sho Hiraoka(Nagoya Univ.),  

[Date]2018-03-06
[Paper #]SS2017-65
Uncertainty in Machine Learning Software from Quality Assurance Viewpoints

Shin Nakajima(NII),  

[Date]2018-03-07
[Paper #]SS2017-77
ソースコードの“自然さ”を用いたリファクタリング評価手法の検討

Ryo Arima(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2018-03-07
[Paper #]SS2017-72
A Determination Method of Locality Sensitive Hashing Parameters for Code Clone Detection

Shogo Tokui(Osaka Univ.),  Norihiro Yoshida(Nagoya Univ.),  Eunjong Choi(NAIST),  Katsuro Inoue(Osaka Univ.),  

[Date]2018-03-07
[Paper #]SS2017-74
Suggestion of Test Case Generation Method with Priority Based on Use Case of User for System Test

Emi Saito(Hitachi),  Ai Toshikuni(Hitachi),  Yuichiroh Nakagawa(Hitachi),  

[Date]2018-03-07
[Paper #]SS2017-76
Javaプロジェクトにおける関数型イディオムの実態調査

Hiroto Tanaka(Osaka Univ.),  Shinsuke Matsumoto(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2018-03-07
[Paper #]SS2017-71
Termination Verification of Functional Programs via Regression Prediction of Ranking Function

Daiki Muramoto(Kyushu Univ.),  Ryosuke Sato(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  

[Date]2018-03-07
[Paper #]SS2017-75
実行トレースの共通性分析に基づく機能開始点の特定

Maaki Nakano(Tokyo Inst. of Tech.),  Kunihiro Noda(Tokyo Inst. of Tech.),  Takashi Kobayashi(Tokyo Inst. of Tech.),  Shinpei Hayashi(Tokyo Inst. of Tech.),  

[Date]2018-03-07
[Paper #]SS2017-73