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

問合先と今後の予定
SS	ソフトウェアサイエンス研究会（SS）   [今後の予定はこちら]
	問合先	肥後芳樹 (大阪大学) TEL: 06-6879-4111 FAX: 06-6879-4114 E-: ist-u
	お知らせ	◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.sa.cs.titech.ac.jp/sigss/
DC	ディペンダブルコンピューティング研究会（DC）   [今後の予定はこちら]
	問合先	新井 雅之 （日本大学生産工学部） E-: ain-u
	お知らせ	◎最新情報は，DC研究会ホームページを御覧下さい． http://www.ieice.org/iss/dc/jpn/index.html

Last modified: 2019-10-03 06:13:52