Information and Systems-Software Science(Date:2016/10/27)

Presentation
Model Based Test Case Generation for Web Application Using Model Checking

Hirokazu Kasahara(Okayama Pref. Univ.),  Tomoyuki Yokogawa(Okayama Pref. Univ.),  Yoichiro Sato(Okayama Pref. Univ.),  Kazutami Arimoto(Okayama Pref. Univ.),  

[Date]2016-10-27
[Paper #]SS2016-24,DC2016-26
Model Checking of Fault Tolerant Systems Using Abstract Timestamps

Shinya Nakano(Osaka Univ.),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Date]2016-10-27
[Paper #]SS2016-19,DC2016-21
Faster Wait-free Randomized Consensus with an Oblivious Adversary for MRSW Register Model

Sen Moriya(Kindai Univ.),  Michiko Inoue(NAIST),  

[Date]2016-10-27
[Paper #]SS2016-20,DC2016-22
Towards a Zone-based Verification for DTPDA with Clock Freezing

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

[Date]2016-10-27
[Paper #]SS2016-25,DC2016-27
ZDD-based test case generation method for high strength combinatorial interaction testing

Teru Ohashi(Osaka Univ),  Tatsuhiro Tsuchiya(Osaka Univ),  

[Date]2016-10-27
[Paper #]SS2016-18,DC2016-20
Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis

Masato Nakashima(Nagoya Univ.),  Trung Chu Bao(Nagoya Univ.),  Kenji Hashimoto(Nagoya Univ.),  Masahiko Sakai(Nagoya Univ.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2016-10-27
[Paper #]SS2016-26,DC2016-28
Error Correction Method for Interblock Burst Error of PPM Compression

Takuya Muroi(Chiba Univ.),  Masato Kitakami(Chiba Univ.),  

[Date]2016-10-27
[Paper #]SS2016-21,DC2016-23
A Direct Update Method for XML Documents Including Data Values Compressed by Tree Grammars

Ryunosuke Takayama(Nagoya Univ.),  Kenji Hashimoto(Nagoya Univ.),  Seki Hiroyuki(Nagoya Univ.),  

[Date]2016-10-27
[Paper #]SS2016-27,DC2016-29
Single Limited-Magnitude Error Correcting Codes Using Integer Residue Ring of Large Order

Shohei Kotaki(Chiba Univ.),  Masato Kitakami(Chiba Univ.),  

[Date]2016-10-27
[Paper #]SS2016-22,DC2016-24
Note on Data Aggregation on Smart Grid Communications Considering Fault Tolerance and Privacy

Ryota Ogasawara(Nihon Univ.),  Masayuki Arai(Nihon Univ.),  

[Date]2016-10-27
[Paper #]SS2016-23,DC2016-25
OSバージョンアップ時のアプリ試験効率化手法の提案と実装

Koichi Asano(NTT DOCOMO),  Shinya Masuda(NTT DOCOMO),  Mitsuhiro Ogata(NTT DOCOMO),  Kazumasa Kobayashi(NTT DOCOMO),  Atsufumi Tate(SEC),  Satoru Hirayama(SEC),  

[Date]2016-10-27
[Paper #]SS2016-28,DC2016-30
多粒度コードクローン検出手法の提案

Yusuke Yuki(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2016-10-28
[Paper #]SS2016-29,DC2016-31
ソースコードの変更予測手法による自動プログラム修正の高速化

Soichi Sumi(Osaka Univ.),  Yoshiki Higo(Osaka Univ.),  Shinji Kusumoto(Osaka Univ.),  

[Date]2016-10-28
[Paper #]SS2016-30,DC2016-32
Software Reuse Detection Focusing on Text in Binary Code

Satoshi Watanabe(Okayama U.),  Akito Monden(Okayama U.),  Haruaki Tamada(Kyoto Sangyo U.),  Yuichiro Kanzaki(NIT, Kumamoto College),  

[Date]2016-10-28
[Paper #]SS2016-31,DC2016-33
Software Bug Analysis Based on Archetypal Analysis

Keisuke Takimoto(Okayama U.),  Akito Monden(Okayama U.),  Saya Onoue(NAIST),  Hideaki Hata(NAIST),  Yasutaka Kamei(Kyushu U.),  

[Date]2016-10-28
[Paper #]SS2016-33,DC2016-35
Software Reuse Detection Using Binary Program Compression

Kosuke Kamimura(NAIST),  Akito Monden(Okayama Univ.),  Hideaki Hata(NAIST),  Kenichi Matsumoto(NAIST),  

[Date]2016-10-28
[Paper #]SS2016-32,DC2016-34
A Study of the Growth of Programmers with Online Judge Archives

Yusaku Noriyuki(NAIST),  Takao Nakagawa(NAIST),  Hideaki Hata(NAIST),  Kenichi Matsumoto(NAIST),  

[Date]2016-10-28
[Paper #]SS2016-34,DC2016-36
共同開発環境におけるコーディングスタイルの変更に関する調査

Naoto Ogura(Osaka Univ.),  Shinsuke Matsumoto(Osaka Univ.),  Hideaki Hata(NAIST),  Shinji Kusumoto(Osaka Univ.),  

[Date]2016-10-28
[Paper #]SS2016-35,DC2016-37