10月27日(木) 午前 11:00 - 16:45 |
(1) |
11:00-11:25 |
ZDDアルゴリズムを用いた高強度テストケース生成法 |
○大橋 輝・土屋達弘(阪大) |
(2) |
11:25-11:50 |
抽象化タイムスタンプを用いたフォールトトレラントシステムのモデル検査 |
○中野伸哉・土屋達弘(阪大) |
(3) |
11:50-12:15 |
Faster Wait-free Randomized Consensus with an Oblivious Adversary for MRSW Register Model |
○Sen Moriya(Kindai Univ.)・Michiko Inoue(NAIST) |
|
12:15-13:15 |
昼食 ( 60分 ) |
(4) |
13:15-13:40 |
PPM圧縮におけるブロック間バースト誤りに対応する訂正手法 |
○室井拓也・北神正人(千葉大) |
(5) |
13:40-14:05 |
位数の大きい整数剰余環を用いた単一Limited-Magnitude誤り訂正符号 |
○小滝翔平・北神正人(千葉大) |
(6) |
14:05-14:30 |
スマートグリッド通信におけるフォールトトレランスとプライバシーを考慮したデータ集約に関する一考察 |
○小笠原亮太・新井雅之(日大) |
(7) |
14:30-14:55 |
モデル検査を用いたWebアプリケーションのテストケース生成 |
○笠原大和・横川智教・佐藤洋一郎・有本和民(岡山県立大) |
|
14:55-15:05 |
休憩 ( 10分 ) |
(8) |
15:05-15:30 |
クロック凍結機構を持つ稠密時間プッシュダウンオートマトンのゾーン構成による検証 |
○平岡 祥・結縁祥治(名大) |
(9) |
15:30-15:55 |
#SMTツールを用いた量的情報流解析手法の高速化 |
○中島聖斗・Trung Chu Bao・橋本健二・酒井正彦・関 浩之(名大) |
(10) |
15:55-16:20 |
木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法 |
○高山隆之介・橋本健二・関 浩之(名大) |
(11) |
16:20-16:45 |
OSバージョンアップ時のアプリ試験効率化手法の提案と実装 |
○浅野浩一・増田真也・小形充弘・小林和正(NTTドコモ)・楯 充史・平山 哲(SEC) |
10月28日(金) 午前 09:30 - 12:35 |
(12) |
09:30-09:55 |
多粒度コードクローン検出手法の提案 |
○幸 佑亮・肥後芳樹・楠本真二(阪大) |
(13) |
09:55-10:20 |
ソースコードの変更予測手法による自動プログラム修正の高速化 |
○鷲見創一・肥後芳樹・楠本真二(阪大) |
(14) |
10:20-10:45 |
バイナリコード中の文字列に着目したソフトウェアの流用検出 |
○渡辺哲士・門田暁人(岡山大)・玉田春昭(京都産大)・神崎雄一郎(熊本高専) |
(15) |
10:45-11:10 |
バイナリプログラム圧縮によるソフトウェア流用検出 |
○上村康輔(奈良先端大)・門田暁人(岡山大)・畑 秀明・松本健一(奈良先端大) |
|
11:10-11:20 |
休憩 ( 10分 ) |
(16) |
11:20-11:45 |
原型分析を用いたソフトウェアバグ分析 |
○瀧本恵介・門田暁人(岡山大)・尾上紗野・畑 秀明(奈良先端大)・亀井靖高(九大) |
(17) |
11:45-12:10 |
オンラインジャッジの履歴を対象としたプログラマの成長分析 |
○則行祐作・中川尊雄・畑 秀明・松本健一(奈良先端大) |
(18) |
12:10-12:35 |
共同開発環境におけるコーディングスタイルの変更に関する調査 |
○小倉直徒・柗本真佑(阪大)・畑 秀明(奈良先端大)・楠本真二(阪大) |