情報・システム-ソフトウェアサイエンス(開催日:2016/10/27)

タイトル/著者/発表日/資料番号
モデル検査を用いたWebアプリケーションのテストケース生成

笠原 大和(岡山県立大),  横川 智教(岡山県立大),  佐藤 洋一郎(岡山県立大),  有本 和民(岡山県立大),  

[発表日]2016-10-27
[資料番号]SS2016-24,DC2016-26
抽象化タイムスタンプを用いたフォールトトレラントシステムのモデル検査

中野 伸哉(阪大),  土屋 達弘(阪大),  

[発表日]2016-10-27
[資料番号]SS2016-19,DC2016-21
MRSWレジスタモデルに対するオブリビアス敵対スケジューラ下での無待機乱択合意アルゴリズムの高速化

守屋 宣(近畿大),  井上 美智子(奈良先端大),  

[発表日]2016-10-27
[資料番号]SS2016-20,DC2016-22
クロック凍結機構を持つ稠密時間プッシュダウンオートマトンのゾーン構成による検証

平岡 祥(名大),  結縁 祥治(名大),  

[発表日]2016-10-27
[資料番号]SS2016-25,DC2016-27
ZDDアルゴリズムを用いた高強度テストケース生成法

大橋 輝(阪大),  土屋 達弘(阪大),  

[発表日]2016-10-27
[資料番号]SS2016-18,DC2016-20
#SMTツールを用いた量的情報流解析手法の高速化

中島 聖斗(名大),  Trung Chu Bao(名大),  橋本 健二(名大),  酒井 正彦(名大),  関 浩之(名大),  

[発表日]2016-10-27
[資料番号]SS2016-26,DC2016-28
PPM圧縮におけるブロック間バースト誤りに対応する訂正手法

室井 拓也(千葉大),  北神 正人(千葉大),  

[発表日]2016-10-27
[資料番号]SS2016-21,DC2016-23
木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法

高山 隆之介(名大),  橋本 健二(名大),  関 浩之(名大),  

[発表日]2016-10-27
[資料番号]SS2016-27,DC2016-29
位数の大きい整数剰余環を用いた単一Limited-Magnitude誤り訂正符号

小滝 翔平(千葉大),  北神 正人(千葉大),  

[発表日]2016-10-27
[資料番号]SS2016-22,DC2016-24
スマートグリッド通信におけるフォールトトレランスとプライバシーを考慮したデータ集約に関する一考察

小笠原 亮太(日大),  新井 雅之(日大),  

[発表日]2016-10-27
[資料番号]SS2016-23,DC2016-25
OSバージョンアップ時のアプリ試験効率化手法の提案と実装

浅野 浩一(NTTドコモ),  増田 真也(NTTドコモ),  小形 充弘(NTTドコモ),  小林 和正(NTTドコモ),  楯 充史(SEC),  平山 哲(SEC),  

[発表日]2016-10-27
[資料番号]SS2016-28,DC2016-30
多粒度コードクローン検出手法の提案

幸 佑亮(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2016-10-28
[資料番号]SS2016-29,DC2016-31
ソースコードの変更予測手法による自動プログラム修正の高速化

鷲見 創一(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2016-10-28
[資料番号]SS2016-30,DC2016-32
バイナリコード中の文字列に着目したソフトウェアの流用検出

渡辺 哲士(岡山大),  門田 暁人(岡山大),  玉田 春昭(京都産大),  神崎 雄一郎(熊本高専),  

[発表日]2016-10-28
[資料番号]SS2016-31,DC2016-33
原型分析を用いたソフトウェアバグ分析

瀧本 恵介(岡山大),  門田 暁人(岡山大),  尾上 紗野(奈良先端大),  畑 秀明(奈良先端大),  亀井 靖高(九大),  

[発表日]2016-10-28
[資料番号]SS2016-33,DC2016-35
バイナリプログラム圧縮によるソフトウェア流用検出

上村 康輔(奈良先端大),  門田 暁人(岡山大),  畑 秀明(奈良先端大),  松本 健一(奈良先端大),  

[発表日]2016-10-28
[資料番号]SS2016-32,DC2016-34
オンラインジャッジの履歴を対象としたプログラマの成長分析

則行 祐作(奈良先端大),  中川 尊雄(奈良先端大),  畑 秀明(奈良先端大),  松本 健一(奈良先端大),  

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

小倉 直徒(阪大),  ?本 真佑(阪大),  畑 秀明(奈良先端大),  楠本 真二(阪大),  

[発表日]2016-10-28
[資料番号]SS2016-35,DC2016-37