| |
第1会場 (白雲の間) |
第2会場 (鳳凰の間) |
| 09:00 - 09:30 |
20周年記念祝辞
座長: 杉山安洋 (日本大学)
-
FOSE20周年記念祝辞
片山卓也 (北陸先端科学技術大学院大学学長)
|
|
| 09:45 - 11:45 |
プログラム解析 (ショートペーパー)
座長: 権藤克彦 (東京工業大学),
阿萬裕久 (愛媛大学)
-
責務の割り当てに着目した設計クラス図の機能性・保守性評価
○津田直彦，鷲崎弘宜，深澤良彰 (早稲田大学)
-
メソッド進化分析のためのソースコード履歴グラフ構築とネットワーク分析
○畑秀明，松本健一 (奈良先端科学技術大学院大学)
-
Portland Pattern Repository上のソフトウェアパターン群に対するネットワーク分析
○角谷将司，鷲崎弘宜 (早稲田大学)，川村健 (USOL 東京)，深澤良彰 (早稲田大学)
-
ソフトウェアリポジトリを対象とした細粒度リファクタリング検出
○藤原賢二，吉田則裕，飯田元 (奈良先端科学技術大学院大学)
-
ソースコード編集操作の自動グループ化
○星野大樹，林晋平，佐伯元司 (東京工業大学)
-
ソースコード差分の対話的修正法
○林晋平，丁斌，加藤哲平，佐伯元司 (東京工業大学)
|
仕様・検証 (ショートペーパー)
座長: 中島震 (国立情報学研究所)
-
シーケンス図中の時間制約の整合性検査とその高速化
○河原亮，小野康一 (日本アイ・ビー・エム)
-
法令から機能要求を抽出するための支援ツールの実装と評価
○吉田豊 (電気通信大学/厚生労働省)，本田耕三，清雄一，中川博之，田原康之，大須賀昭彦 (電気通信大学)
-
テストドライバの妥当性を検証するためのテスト用フレームワーク
○上野哲史，杉山安洋 (日本大学)
-
検証付きプログラムに対する対話的修正の合成
○森口草介 (神奈川大学)，渡部卓雄 (東京工業大学)
-
POM/MCを用いた仮説ベースモデル検査デバッグ手法
○小川秀人 (日立製作所/北陸先端科学技術大学院大学)，市井誠(日立製作所)，粂野文洋 (日本工業大学)，青木利晃 (北陸先端科学技術大学院大学)
|
| 13:30 - 15:00 |
形式手法 (フルペーパー)
座長: 田原康之 (電気通信大学)
-
強充足不能なリアクティブシステム仕様における欠陥範囲の特定
○萩原茂樹 (東京工業大学)，江川直毅 (ソニー・コンピュータエンタテインメント)，島川昌也，米崎直樹 (東京工業大学)
-
COBOL 記号実行のための記号メモリ
○佐々木裕介，前田芳晴，松尾昭彦 (富士通研究所)
-
ユニットテストの入力データ生成のためのBit-vector logicに基づくCOBOL記号実行器
○岩間太，立石孝彰 (日本アイ・ビー・エム)
|
|
| 15:15 - 16:55 |
実証的ソフトウェア開発 (ショートペーパー)
座長: 門田暁人 (奈良先端科学技術大学院大学)
-
クラッシュリポジトリマイニングソースコード -欠陥箇所の特定に向けて-
○亀井靖高，長本貴光 (九州大学)，ラピュトシャシャンク (インド工科大学)，小須田光 (九州大学)，伊原彰紀 (奈良先端科学技術大学院大学)，鵜林尚靖 (九州大学)
-
オープンソースソフトウェアにおける学術論文の引用状況の分析
○小西文章，門田暁人，畑秀明，松本健一 (奈良先端科学技術大学院大学)
-
簡易脳波測定装置を用いたプログラミング活動のストレス測定に関する実験
○高橋圭一 (近畿大学)
-
脳血流計測に基づくプログラム理解行動の定量化
○中川尊雄( 奈良先端科学技術大学院大学)，亀井靖高 (九州大学)，上野秀剛 (奈良工業専門高等学校)，門田暁人，松本健一 (奈良先端科学技術大学院大学)
-
ソフトウェアテストに関するメトリクス測定に基づくOSSにおける実証的研究
○高澤亮平 (早稲田大学)，坂本一憲 (国立情報学研究所)，鷲崎弘宜，深澤良彰 (早稲田大学)
|
モデル検査・テスト (ショートペーパー)
座長:
今井健男 (東芝)
-
アスペクト指向言語を利用したソフトウェアモデル検査手法
○古賀陽一郎 (東芝)，田辺良則 (国立情報学研究所)
-
モデル検査技術を用いたセキュリティ要求の検証
○青木善貴 (日本ユニシス/芝浦工業大学)，小形真平 (信州大学)，野呂惇，松浦佐江子 (芝浦工業大学)
-
情報制御システムにおける部分モデルと相互関係を用いたモデル検査の実用化
○宮島卓巳，小山恭平 (茨城大学)，小飼敬 (茨城工業高等専門学校)，上田賀一 (茨城大学)，山形知行，武澤隆之 (日立製作所)
-
ユーザ要求ベースのテスト方法の提案と適用評価
○野村典文 (伊藤忠テクノソリューションズ/南山大学)，菊島靖弘，青山幹雄 (南山大学)
-
入力保存機能に着目したモデル駆動ユーザビリティ評価法
○早川弘基，小形真平，海谷治彦，海尻賢二 (信州大学)
|
| 17:10 - 18:30 |
ライブ論文・ポスター
座長: 関澤俊弦 (大阪学院大学)
ライブ論文:
-
iArch: 滑らかな設計抽象化を支援するIDE
○艾迪，李沛源，細合晋太郎，亀井靖高，鵜林尚靖 (九州大学)
-
ソフトウェア開発履歴を利用した風林火山モデルによる開発者の特性診断の試み
○藤原新，五田篤志，玉田春昭 (京都産業大学)，角田雅照 (近畿大学)，畑秀明 (奈良先端科学技術大学院大学)
-
演習授業で各学生が行うソフトウェア開発作業の細粒度履歴データに基づく演習過程確認手法の提案
○田中昂文 (東京学芸大学)，森一樹 (芝浦工業大学)，橋浦弘明 (日本工業大学)，櫨山淳雄 (東京学芸大学)，古宮誠一 (国立情報学研究所)
-
システム群のBASE特性を保証するためのCoqを用いた検証
○高鶴哲也 (NTT コムウェア)，今井宜洋 (IT プランニング)，田辺良則 (国立情報学研究所)
-
メソッドの中に書かれるコメントと前に書かれるコメントのフォールト潜在予測に関する定量的考察
○阿萬裕久 (愛媛大学)
-
リファクタリング支援のためのプログラム等価性検証手法の提案
○市井誠，新原敦介，鈴木康文，小川秀人 (日立製作所)
-
動画再生時間に対するマーキングによる効率的な動画学習システム
○高安伯武，姜書華，梁仁駿，劉恒，浅香靖浩，小山裕司 (産業技術大学院大学)
-
コメントを重視したチケット駆動開発の実践と可視化ツールによる分析
○浅香靖浩，高安伯武，小山裕司 (産業技術大学院大学)
-
予測対象メトリクスの単位に基づく変数除去の試み
村上将司 (山口大学)，○柿元健 (香川高等専門学校)
-
フィールドアクセスに着目したモデル検査の効率化
○前岡淳 (日立製作所/電気通信大学)，田辺良則 (国立情報学研究所)，石川冬樹 (国立情報学研究所/電気通信大学)
-
高度ICT人材育成教育における情報デザイン手法の導入事例
○木塚あゆみ，安井重哉，岡本誠，伊藤恵，大場みち子 (はこだて未来大学)
-
受講者間の知識伝達を目指したScrumに基づくソフトウェア開発PBLの実践
○福安直樹 (和歌山大学)，井垣宏 (大阪大学)，佐伯幸郎，まつ本真佑 (神戸大学)，楠本真二 (大阪大学)
-
fault-prone モジュール判別におけるアルゴリズム選択 のための評価指標の提案
○角田雅照 (近畿大学)，門田暁人，松本健一 (奈良先端科学技術大学院大学)
-
BMGを拡張したビジネスモデル開発方法論の提案
○井出昌浩 (クニエ/南山大学)，雨谷幸郎，岸田智子 (クニエ)，青山幹雄，菊島靖弘 (南山大学)
ポスター:
-
自己適応システムでのコンポーネントの安全な置き換え
○中島震 (国立情報学研究所)
-
模擬案件と実案件を組み合わせたシステム構築PBLカリキュラムの開発
○伊藤恵，木塚あゆみ，奥野拓，大場みち子 (公立はこだて未来大学)
-
Webアプリケーションにおける不正入力の統計的検出
○鈴木竜太 (東京工業大学)
-
LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装
○上野篤史，望月翔平，島川昌也，萩原茂樹，米崎直樹 (東京工業大学大学院)
-
HTMLの構造パターンを用いたWebページの分類手法 ~ホワイトボックステストへの応用~
○及川翔 (公立はこだて未来大学)
-
ソースコードの編集操作履歴を用いたプログラム変更の検出と集約
○木津栄二郎 (立命館大学)，大森隆行，丸山勝久 (立命館大学)
-
Webアプリケーションに対するConcolic Testingの考察
○石川太一郎，高田眞吾 (慶應義塾大学)，丹野治門 ，生沼守英 (NTT)
-
FlashとHTML5の比較
○市原大地 (東京工業大学)
-
WebアプリケーションのUI開発支援の ためのテンプレートの抽出手法
○張恭瑞，高田眞吾 (慶應義塾大学)
-
パターンを用いたフォールト検出法
○張漢明，野呂昌満，沢田篤史 (南山大学)
-
COSE: 文脈に依存した振る舞いをモジュール化するソフトウェア開発手法
○紙名哲生 (東京大学)，青谷知幸，増原英彦 (東京工業大学)，玉井哲雄 (法政大学)
-
組込みシステムの仕様検証とペアワイズ法を用いた検証項目の生成
○関澤 俊弦 (大阪学院大学)，小鳥井 継 (三菱スペース・ソフトウェア)
-
SMTソルバと統計解析を用いたJavaプログラム解析器の提案
○佐々木幸広，岡野浩三，楠本真二 (大阪大学)
-
制約記述言語OCLとJMLの双方向変換手法の提案
○榛葉浩章，岡野浩三，楠本真二 (大阪大学)
-
記述性を重視したリアクティブシステム用仕様記述言語T
○長利健治，室岡拓弥 (東京工業大学)，萩原聖貴，安藤崇央 (九州大学)，島川昌也 （東京工業大学)，伊藤宗平 (水産大学校)，萩原茂樹，米崎直樹 (東京工業大学)
-
テスト実施下における効果的なテスト削減方法に関する考察
○佐々木愛美，中野隆司，小笠原秀人 (東芝)
-
UML/OCLを用いたテスト自動生成手法のカバレッジ向上に関する一手法の提案
○藤田悠矢，岡野浩三，楠本真二 (大阪大学)
-
concolic executionを用いたバグ同定に関する研究
○大田崇史，岡野浩三，楠本真二 (大阪大学)
|
|
| 19:00 - 20:00 |
休憩・夕食 |
| |
ナイトセッション |