7月9日(水) 午後 レビュー・分析 15:00 - 16:30 |
(1) |
15:00-15:30 |
コードレビュー時の読み方教示によるレビュー効率の向上
○應治 沙織・上野 秀剛(奈良工業高等専門学校) |
(2) |
15:30-16:00 |
第三者によるソフトウェア開発作業評価のための作業記録の保護手法
○池田 祥平・上野 秀剛(奈良工業高等専門学校) |
(3) |
16:00-16:30 |
ソフトウェア保守の作業時間に影響する要因の分析
○角田 雅照(奈良先端科学技術大学院大学/近畿大学)・
門田 暁人・松本健一(奈良先端科学技術大学院大学)・押野 智樹(経済調査会) |
7月10日(木) 午前 タスクスケジューリング・時間制約 09:00 - 10:30 |
(4) KBSE |
09:00-09:30 |
多様なタスクスケジューリング問題への解集合プログラミングの適用 |
○小林弘幸・中川博之・小島英春・土屋達弘(阪大) |
(5) KBSE |
09:30-10:00 |
ビジネスプロセスのための時間制約表現 |
○飯島 正(慶大) |
(6) SS |
10:00-10:30 |
値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング |
○結縁祥治・亀井達朗(名大) |
7月10日(木) 午前 PBL・開発プロセス 10:40 - 12:10 |
(7) |
10:40-11:10 |
IoTシステムを題材としたPBLの導入提案
○細合 晋太郎・石田 繁巳・亀井 靖高・大迫 周平(九州大学)・
井垣 宏(大阪大学)・鵜林 尚靖・福田 晃(九州大学) |
(8) |
11:10-11:40 |
OSSシステムとコミュニティの共進化を理解するための遅延相関分析手法:多様な遅延パターンへの対応
○山谷 陽亮・大平 雅雄(和歌山大学) |
(9) |
11:40-12:10 |
開発履歴を利用した風林火山モデルに基づく開発者特性の分析
○五田 篤志・山崎 尚・玉田 春昭(京都産業大学)・畑 秀明(奈良先端科学技術大学院大学)・
角田 雅照(近畿大学)・井垣 宏(大阪大学) |
7月10日(木) 午後 Web・スマートフォン 13:10 - 15:10 |
(10) KBSE |
13:10-13:40 |
GUIビルダによるスマートフォンアプリケーション向けモデル駆動開発手法 |
○松井浩司・松浦佐江子(芝浦工大) |
(11) KBSE |
13:40-14:10 |
擬似マルウェア体験によるAndroidパーミッションと脅威の関係の学習 |
○加藤 真・松浦佐江子(芝浦工大) |
(12) KBSE |
14:10-14:40 |
ユーザビリティ要求確認を支援するWebプロトタイプ自動生成手法 |
○紙森翔平・小形真平・海尻賢二(信州大) |
(13) SS |
14:40-15:10 |
Web アプリケーションの UI 機能テストのための HTML 構造パターンの 抽出手法 |
○神谷年洋(公立はこだて未来大) |
7月10日(木) 午後 形式手法・言語 15:20 - 17:20 |
(14) KBSE |
15:20-15:50 |
反例からの検査式自動生成による不具合原因特定支援 |
○青木善貴(日本ユニシス)・松浦佐江子(芝浦工大) |
(15) SS |
15:50-16:20 |
Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD |
○Masahiko Sakai(Nagoya Univ.)・Hidetomo Nabeshima(Univ. of Yamanashi) |
(16) SS |
16:20-16:50 |
Malbolge低級アセンブラにおけるコード配置アドレスの決定法 |
○加藤起騎・酒井正彦・坂部俊樹・西田直樹(名大) |
(17) KBSE |
16:50-17:20 |
MathMLで書かれた数式に対する検索手法の提案 |
○片岡晃久・甲斐 博(愛媛大) |
7月11日(金) 午前 リファクタリング 09:00 - 10:30 |
(18) SS |
09:00-09:30 |
機能捜索結果を利用したプレファクタリング支援 |
小松田卓也・○林 晋平・佐伯元司(東工大) |
(19) |
09:30-10:00 |
設計抽象化のためのリファクタリングパターン
○艾 迪・鵜林 尚靖・李 沛源・李 宇寧・細合 晋太郎・亀井 靖高(九州大学) |
(20) |
10:00-10:30 |
A Tool for Suggesting Program Elements to Be Changed in Next Edit
○Yang Yujiang(Waseda University)・Sakamoto Kazunori(National Institute of Informatics)・
Washizaki Hironori・Fukazawa Yoshiaki(Waseda University) |
7月11日(金) 午前 コードクローン・デバッグ 10:40 - 12:10 |
(21) SS |
10:40-11:10 |
機械学習を用いたコードクローンの危険予測手法 |
○今里文香・堀田圭佑・肥後芳樹・楠本真二(阪大) |
(22) SS |
11:10-11:40 |
ソフトウェア開発におけるコピーアンドペーストによって生じたコード片に対する調査 |
○大田崇史・井垣 宏・堀田圭佑・肥後芳樹・楠本真二(阪大) |
(23) |
11:40-12:10 |
Javaマルチスレッドプログラム向けの拡張ペトリネットを用いた実行の再現を利用したデバッグ支援ツールの試作
○北野 翔一郎・片山 徹郎(宮崎大学) |
7月11日(金) 午後 テスト 13:10 - 15:10 |
(24) SS |
13:10-13:40 |
On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation |
○Cassia de Souza Carvalho・Tatsuhiro Tsuchiya(Osaka Univ.) |
(25) |
13:40-14:10 |
ソースコード生成を利用した結合テスト向けデータベース生成手法の提案
○丹野 治門・張 暁晶・生沼 守英(NTT) |
(26) SS |
14:10-14:40 |
モデルベーステストにおけるトレーサビリティの確保と活用 |
○張 暁晶・丹野治門・生沼守英(NTT) |
(27) |
14:40-15:10 |
動的記号実行によるメソッドの複雑度を考慮したテストケース自動生成
○高松 宏樹・佐藤 晴彦・小山 聡・栗原 正仁(北海道大学) |