3月6日(火) 午前 11:30 - 13:00 |
(1) |
11:30-12:00 |
STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察 |
○岡野浩三・小形真平・楊 盼(信州大)・岡本圭史(仙台高専) |
(2) |
12:00-12:30 |
凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について |
○結縁祥治・平岡 祥(名大) |
(3) |
12:30-13:00 |
Packer identification based on Malware analyzer BE-PUM |
○Mizuhito Ogawa(JAIST) |
|
13:00-14:30 |
昼食 ( 90分 ) |
3月6日(火) 午後 14:30 - 15:30 |
(4) |
14:30-15:00 |
メソッドレベルセマンティックバージョニングの提案 |
○林 純一・肥後芳樹・楠本真二(阪大) |
(5) |
15:00-15:30 |
リファクタリング支援を目的としたメソッドのインライン化事例の特徴調査 |
○山田悠貴・上村恭平・崔 恩瀞(奈良先端大)・吉田則裕(名大)・飯田 元(奈良先端大) |
|
15:30-16:00 |
休憩 ( 30分 ) |
3月6日(火) 午後 16:00 - 17:00 |
(6) |
16:00-16:30 |
既存コードの再利用によるユーティリティメソッドの自動生成 |
○松本淳之介・肥後芳樹・下仲健斗・楠本真二(阪大) |
(7) |
16:30-17:00 |
OSS開発における品質に関する議論の可視化に向けて |
○中西駿太・崔 恩瀞・飯田 元(奈良先端大) |
3月7日(水) 午前 10:00 - 11:00 |
(8) |
10:00-10:30 |
Javaプロジェクトにおける関数型イディオムの実態調査 |
○田中紘都・柗本真佑・楠本真二(阪大) |
(9) |
10:30-11:00 |
ソースコードの“自然さ”を用いたリファクタリング評価手法の検討 |
○有馬 諒・肥後芳樹・楠本真二(阪大) |
|
11:00-11:30 |
休憩 ( 30分 ) |
3月7日(水) 午前 11:30 - 13:00 |
(10) |
11:30-12:00 |
実行トレースの共通性分析に基づく機能開始点の特定 |
○中野真明貴・野田訓広・小林隆志・林 晋平(東工大) |
(11) |
12:00-12:30 |
局所性鋭敏型ハッシュを用いたコードクローン検出のためのパラメータ決定手法 |
○徳井翔梧(阪大)・吉田則裕(名大)・崔 恩瀞(奈良先端大)・井上克郎(阪大) |
(12) |
12:30-13:00 |
関数型言語における停止性検証のためのランキング関数の回帰推定 |
○村本大起・佐藤亮介・鵜林尚靖・亀井靖高(九大) |
|
13:00-15:00 |
昼食 ( 120分 ) |
3月7日(水) 午後 15:00 - 16:00 |
(13) |
15:00-15:30 |
システムテストに対するユーザの利用形態に基づく優先度付きテストケース生成手法の提案 |
○斎藤英美・利國 愛・中川雄一郎(日立) |
(14) |
15:30-16:00 |
品質保証からみた機械学習ソフトウェアの不確かさ |
○中島 震(NII) |
|
16:00-16:30 |
クロージング ( 30分 ) |