ソフトウェア・シンポジウム 2014 にご投稿いただいた論文・報告に対して，プログラム委員会で審査を行い，下記を採択いたしました．
皆さま，ご執筆，ご投稿いただき，ありがとうございました．
セッション 1セッション 2
セッション 3-1
セッション 3-2
セッション 4-1
セッション 4-2
セッション 1．発表時間は 20 分 (10 分発表，10 分討議)．
6/10 (火曜日) 14:30 ～ 15:50
[09_研究論文]「バグを混入・除去するソースコード差分の判定手法の提案」山田 晃久，水野 修 (京都工芸繊維大学)
[16_研究論文]「手書きノートアプリケーションに用いられるメニューデザインの使用性の評価」
木谷 篤，中谷 多哉子 (筑波大学)
[04_経験論文]「開発者の特性を考慮した仕様記述ガイドラインによる形式手法導入事例」
明神 智之，島袋 潤 (日立製作所)，長谷川 貴史，廣納 幸治 (日立金属)
[01_経験論文]「『組合せテスト向けの因子分類』を活用した SW 設計の革新」
秋山 浩一 (富士ゼロックス)
セッション 2．発表時間は 30 分 (15 分発表，15 分討議)．
6/10 (火曜日) 16:00 ～ 17:30
[21_研究論文]「形式的仕様スケッチのためのウェブベース開発環境 VDMPad」小田 朋宏 (SRA)，荒木 啓二郎(九州大学)
[17_研究論文]「UML 図に対するソフトウェアオーバーホールを用いたレビュー手法の比較実験」
内田 眞司，松井 真子 (奈良工業高等専門学校)
[14_経験論文]「IT に現場力は存在するのか: その計測と評価の試み」
松尾谷 徹 (デバッグ工学研究所)
セッション 3-1．発表時間は 15 分 (10 分発表，5 分討議)．
6/10 (火曜日) 17:40 ～ 18:25
[13_経験論文]「ソフトウェア要求仕様記述ツール SLP の基本概念」漆原 憲博，塚田 良央，五十嵐 育夫，佐々木 千春，岡本 圭史 (ジェーエフピー)
[15_研究論文]「テスト情報分析に基づいた定量的ソフトウェア信頼性評価手法に関する一考察」
竹腰 祐輝，岡村 寛之，土肥 正 (広島大学)
[06_研究論文]「運用プロファイルと報酬構造を考慮したテストケース生成法」
今富 政喜，土肥 正 (広島大学)
セッション 3-2．発表時間は 15 分 (10 分発表，5 分討議)．
6/10 (火曜日) 17:40 ～ 18:25
[03_経験論文]「マフィアオファーを用いたシーズとニーズを繋ぐ技術提案 －XDDP 提案における事例－」八木 将計，小川 秀人 (日立製作所)
[20_事例報告]「人を育て技術を実現するチーム力 ～9 年間の活動から得られた TIPS～」
増田 礼子 (フェリカネットワークス)
[07_経験論文]「異業種への『KPT』の適用事例とその効果報告」
根本 紀之 (仙台ソフトウェアテスト勉強会)
セッション 4-1．発表時間は 7 分 (5 分発表，2 分討議)．
6/10 (火曜日) 18:25 ～ 19:00
[02_事例報告]「改良型ゴールモデルによる利用品質領域の可視化事例」安達 賢二 (HBA)
[08_研究論文]「GSN を拡張したゴール指向分析の AND 分解における妥当性確認手法の提案」
岡野 道太郎，中谷 多哉子 (筑波大学)
[11_研究論文]「識別子中の単語情報を用いた Fault-prone モジュール予測」
川島 尚己，水野 修 (京都工芸繊維大学)
[22_研究論文]「テストの実施履歴とテスト項目間の関連情報を利用した効果的なテスト削減方法の提案と評価」
小笠原 秀人，佐々木 愛美，中野 隆司 (東芝)，阿萬 裕久 (愛媛大学)
セッション 4-2．発表時間は 7 分 (5 分発表，2 分討議)．
6/10 (火曜日) 18:25 ～ 19:00
[05_研究論文]「テスト駆動開発を利用した実例による形式仕様記述の提案」伊藤 淳，圓通 聡 (NEC ソリューションイノベータ)，石川 冬樹 (国立情報学研究所)
[18_経験論文]「形式仕様記述を用いたファイルシステム設計の検証」
嶋根 貴洋 (SCSK)，田処 将司 (DTS)
[10_研究論文]「ソフトウェア開発ドキュメント匿名化ツールの試作とその評価」
江川 翔太，岡野 浩三，楠本 真二 (大阪大学)
[12_経験論文]「秋田大学情報工学科における情報教育用計算機システム」
髙谷 眞弓 (秋田大学)
[19_事例報告]「仮設住宅のためのプリペイド型簡易商店システム」
西岡 大，齊藤 信人，寺澤 拓也，市川 潤，村山 優子 (岩手県立大学)
