3月2日(月) 午後 14:00 - 18:00 |
(1) |
14:00-14:30 |
システム特性を考慮したペアワイズテストの改良 |
○秀島健太郎・土屋達弘・菊野 亨(阪大) |
(2) |
14:30-15:00 |
MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援 |
○沈 悦・福安直樹・吉田 敦・鯵坂恒夫(和歌山大) |
|
15:00-15:15 |
休憩 ( 15分 ) |
(3) |
15:15-15:45 |
改良taintモデルに基づくオブジェクト指向言語を用いたアプリケーション開発 |
○渥美清隆(鈴鹿高専)・増山 繁(豊橋技科大) |
(4) |
15:45-16:15 |
Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証 |
○馬場 敬・結縁祥治・阿草清滋(名大) |
(5) |
16:15-16:45 |
並列分散型SATソルバにおける探索空間の分割手法の提案 |
○高見明秀・鍋島英知・岩沼宏治(山梨大) |
|
16:45-17:00 |
休憩 ( 15分 ) |
(6) |
17:00-18:00 |
[招待講演]時間オートマトンのモデル検査 |
○中田明夫(広島市大) |
3月3日(火) 午前 09:30 - 11:45 |
(7) |
09:30-10:00 |
教育用コンパイラXCCとその可視化ツールMieruCompiler |
○権藤克彦・野崎広弥(東工大) |
(8) |
10:00-10:30 |
x86版DRACULAのバグ修復と予備評価 |
○大菅星哉(東工大)・田原貴光(NEC)・権藤克彦(東工大) |
|
10:30-10:45 |
休憩 ( 15分 ) |
(9) |
10:45-11:15 |
設計支援ツールPerseusに対するリバースエンジニアリング機能の組み込み |
○才所直也・掛下哲郎(佐賀大) |
(10) |
11:15-11:45 |
カラー二次元コードを高解像度化するための認識アルゴリズムの実現と評価 |
○寺田遼平・藤本敬介・中山泰一(電通大) |