Information and Systems-Knowledge-Based Software Engineering(Date:2018/07/18)

Presentation
カバリングアレイの事後最適化による組み合わせテストでの不具合特定の実現

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

[Date]2018-07-18
[Paper #]SS2018-7,KBSE2018-17
A Study of Safety Updating Functionalities for Embedded Systems

Shinya Tsuchida(Osaka Univ),  Hiroyuki Nakagawa(Osaka Univ),  Tatsuhiro Tsuchiya(Osaka Univ),  

[Date]2018-07-18
[Paper #]SS2018-8,KBSE2018-18
Application of Model Checking to an STAMP/STPA Example

Pan Yang(Shinshu Univ.),  Rin Karashima(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  Shinpei Ogata(Shinshu Univ.),  

[Date]2018-07-18
[Paper #]SS2018-6,KBSE2018-16
Fault-Tolerant Topology determination for IoT network

Mitsumasa Ota(Waseda Univ.),  Ryuichi Takahashi(Ibaraki Univ.),  Yoshiaki Fukazawa(Waseda Univ.),  

[Date]2018-07-18
[Paper #]SS2018-10,KBSE2018-20
Proposal of a usage investigation tool of similar coding pattern

Koki Ogasawara(Osaka Univ),  Tetsuya Kanda(Osaka Univ),  Katsuro Inoue(Osaka Univ),  

[Date]2018-07-18
[Paper #]SS2018-1,KBSE2018-11
Case Study on a Verification of an IoT Architecture Model Based on Control Loop

Yoshitaka Aoki(NUL),  Shinpei Ogata(Shinshu Univ.),  Kazuki Kobayashi(Shinshu Univ.),  Hiroyuki Nakagawa(Osaka Univ.),  

[Date]2018-07-18
[Paper #]SS2018-11,KBSE2018-21
Reversible Communicating Systems with Time

Satoru Yamamoto(Nagoya Univ.),  Shoji Yuen(Nagoya Univ.),  

[Date]2018-07-18
[Paper #]SS2018-5,KBSE2018-15
A Fault Diagnosis of A Distributed Cooperative System by Learning State Transitions

Yosuke Watanabe(Nagoya Univ.),  Shuichi Sato(TCRDL),  Hiroyuki Seki(Nagoya Univ.),  Shoji Yuen(Nagoya Univ.),  

[Date]2018-07-18
[Paper #]SS2018-3,KBSE2018-13
An analysis of the impact of temporal changes of developers' activities on the committer candidate prediction model

Daiki Yamasaki(Wakayama Univ.),  Masao Ohira(Wakayama Univ.),  Akinori Ihara(Wakayama Univ.),  Yutaro Kashiwa(Wakayama Univ.),  Tomoki Miyazaki(Wakayama Univ.),  

[Date]2018-07-18
[Paper #]SS2018-4,KBSE2018-14
ECサイトの検索機能へのメタモルフィック・テスティングの適用

Shu Nagai(Osaka Univ.),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Date]2018-07-18
[Paper #]SS2018-9,KBSE2018-19
自動フ?ロク?ラム修正手法を用いた自動リファクタリンク?ツールの試作

Akito Tanikado(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2018-07-18
[Paper #]SS2018-2,KBSE2018-12
メソッド入退出情報を利用した階層的欠陥箇所特定支援手法

Yamato Haraguchi(Tokyo Tech.),  Kunihiro Noda(Tokyo Tech.),  Takashi Kobayashi(Tokyo Tech.),  

[Date]2018-07-19
[Paper #]SS2018-12,KBSE2018-22
仮想ファイルシステムを用いたプログラム内部状態観測ツールの試作

Keita Hiranouchi(Tokyo Tech.),  Kunihiro Noda(Tokyo Tech.),  Takashi Kobayashi(Tokyo Tech.),  

[Date]2018-07-19
[Paper #]SS2018-13,KBSE2018-23
Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model

Nagisa Kojima(Hiroshima City Univ.),  Kazuyuki Shima(Hiroshima City Univ.),  Akio Nakata(Hiroshima City Univ.),  

[Date]2018-07-19
[Paper #]SS2018-14,KBSE2018-24
A study of productivity for agile software development

Kumi Jinzenji(NTT),  Daisuke Hamuro(NTT),  

[Date]2018-07-20
[Paper #]SS2018-17,KBSE2018-27
Development and Operation of Services for Open Smart Mobility Markets

Tsuneo Nakanishi(Fukuoka Univ.),  Kenji Hisazumi(Kyushu Univ.),  Takao Ando(Kyushu Univ.),  Tsunenori Mine(Kyushu Univ.),  Akira Fukuda(Kyushu Univ.),  

[Date]2018-07-20
[Paper #]SS2018-15,KBSE2018-25
An Automated Evaluation Method for Conceptual Data Models Focusing on Appropriateness of Attributes

Takafumi Tanaka(TUAT),  Hiroaki Hashiura(NIT),  Atsuo Hazeyama(TGU),  Kousuke Mouri(TUAT),  Keiichi Kaneko(TUAT),  

[Date]2018-07-20
[Paper #]SS2018-16,KBSE2018-26