10月24日(木) 午後 SS1
13:00 - 14:15 |
| (1) |
13:00-13:25 |
Bug Localizationに対して不吉な臭いを使用する有用性の解明 |
○高橋 碧・セーリム ナッタウット・林 晋平・佐伯元司（東工大） |
| (2) |
13:25-13:50 |
CUIツールの開発支援サービスとしての再構築手順の提案 |
○宮崎 光・玉田春昭（京都産大） |
| (3) |
13:50-14:15 |
Change Untangling結果の対話的最適化支援環境の試作 |
○山下 慧・林 晋平・佐伯元司（東工大） |
| |
14:15-14:30 |
休憩 （ 15分 ） |
10月24日(木) 午後 SS2
14:30 - 15:45 |
| (4) |
14:30-14:55 |
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems |
○Reo Yoshimura（Nagoya Univ.）・Yoshiaki Takata（Kochi-tech.）・Hiroyuki Seki（Nagoya Univ.） |
| (5) |
14:55-15:20 |
存在限量子付き等式を証明するための書換え帰納法の拡張 |
○西江一志・西田直樹・酒井正彦（名大） |
| (6) |
15:20-15:45 |
四天王問題の一般化と継続渡しスタイルの関数型言語における非決定性計算による解法プログラム |
○横本勇希・小島 渚・島 和之（広島市大） |
| |
15:45-16:00 |
休憩 （ 15分 ） |
10月24日(木) 午後 DC1
16:00 - 17:30 |
| (7) |
16:00-16:25 |
n回状態遷移被覆に基づく非スキャンオンラインテスト法 |
○池ヶ谷祐輝・石山悠太・細川利典（日大）・吉村正義（京都産大） |
| (8) |
16:25-16:50 |
PPM圧縮における畳み込み符号を用いた誤り訂正手法 |
○阿部 巧・北神正人（千葉大） |
| (9) |
16:50-17:30 |
フェロー受賞記念講演：LSI ディペンダビリティ - テスト、信頼性、セキュリティ -
井上美智子（奈良先端大） |
10月25日(金) 午前 SS3
10:00 - 11:40 |
| (10) |
10:00-10:25 |
ソースコードメトリクスを用いたプログラミングコンテストの類似解答群の検出 |
○原口公輔・神田哲也・井上克郎（阪大） |
| (11) |
10:25-10:50 |
変数に着目した変更メトリクスの有効性について ～ フォールト混入予測精度の比較実験 ～ |
○川上卓也・阿萬裕久・川原 稔（愛媛大） |
| (12) |
10:50-11:15 |
複数プロジェクトから高速にコードクローンを検出するキュレーションの提案 |
○土居真之・肥後芳樹・楠本真二（阪大） |
| (13) |
11:15-11:40 |
単語類似度を用いたUMLクラス図理解性メトリクスの改良 |
○井原輝人・内田眞司（奈良高専） |
: a
i
n-u
-u