ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

Technical Committee on Software Science (SS)

Chair		Kozo Okano (Shinshu Univ.)
Vice Chair		Yoshiki Higo (Osaka Univ.)
Secretary		Shinpei Ogata (Shinshu Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.)
Assistant		Shinsuke Matsumoto (Osaka Univ.)

Conference Date	Tue, Mar 14, 2023 11:00 - 18:50 Wed, Mar 15, 2023 09:30 - 17:10
Topics
Conference Place
Copyright and reproduction	All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
Registration Fee	This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS.

Tue, Mar 14 AM 11:00 - 12:15
(1)	11:00-11:25	A Technique for Detecting Missing Statements in Requirement Specifications Using Data Dependencies SS2022-47	Shinnosuke Hirooka (Nanzan univ.), Motoshi Saeki (Nanzan Univ.)
(2)	11:25-11:50	A Technique to Support Q&A Processes in Requirements Elicitation using Graph Database SS2022-48	Yui Imahori (Nanzan Univ.), Junzo Kato (Independent Consultant), Shinpei Hayashi (Tokyo Tech), Atsushi Ohnishi (Ritsumeikan Univ.), Saeki Motoshi (Nanzan Univ.)
(3)	11:50-12:15	Temporal relation identification toward generating temporal logic formulas SS2022-49	Maiko Onishi (Ochanomizu Univ.), Shinpei Ogata, Kozo Okano (Shinshu Univ.), Daisuke Bekki (Ochanomizu Univ.)
	12:15-13:45	Lunch Break ( 90 min. )
Tue, Mar 14 PM 13:45 - 15:25
(4)	13:45-14:10	Initial Investigation of Debugging Task Support for Novice Programmers Using Large Language Models SS2022-50	Utsunomiya Kaito, Akiyama Gakuto, Kondo Masanari, Kamei Yasutaka, Ubayashi Naoyasu (Kyushu Univ.)
(5)	14:10-14:35	Investigation of a Line-Level Bug Prediction Method for Automatic Program Repair SS2022-51	Kanta Wada, Hiroki Yamamoto, Morita Issei, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ)
(6)	14:35-15:00	SS2022-52
(7)	15:00-15:25	SS2022-53
	15:25-15:40	Break ( 15 min. )
Tue, Mar 14 PM 15:40 - 17:20
(8)	15:40-16:05	An interactive tool for assisting Dockerfile development SS2022-54	Tsukasa Inada, Yuta Ishimoto, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyudai)
(9)	16:05-16:30	SS2022-55
(10)	16:30-16:55	Toward improving code execution speed using micro benchmark dataset SS2022-56	Fuki Omori, Akinori Ihara, Kazuya Saiki (Wakayama Univ.), Yutaro Kashiwa (NAIST)
(11)	16:55-17:20	Automatic Dataset Collection and Formatting Techniques for Machine Learning Systems SS2022-57	Takako Kawaguchi, Toshiyuki Kurabayashi, Haruto Tanno (former NTT)
	17:20-17:35	Break ( 15 min. )
Tue, Mar 14 PM 17:35 - 18:50
(12)	17:35-18:00	SS2022-58
(13)	18:00-18:25	SS2022-59
(14)	18:25-18:50	A feature analysis of merged change requests on a version SS2022-60	Mizuki Uenaka, Akinori Ihara (Wakayama Univ.), Yutaro Kashiwa (NAIST)
Wed, Mar 15 AM 09:30 - 10:20
(15)	09:30-09:55	On Polynomial Interpretations Toward Termination of Logically Constrained Term Rewrite Systems with Bit Vector Arithmetic SS2022-61	Ayuka Matsumi, Naoki Nishida, Misaki Kojima, Donghoon Shin (Nagoya Univ.)
(16)	09:55-10:20	Regularity Preservation Property of Data Tree Rewrite Systems -- A Subclass Decomposable into Monadic Normal Form -- SS2022-62	Yuto Sakao, Hiroyuki Seki (Nagoya Univ.)
	10:20-10:35	Break ( 15 min. )
Wed, Mar 15 AM 10:35 - 11:50
(17)	10:35-11:00	Preventing incomplete changes based on the multiple similalities of commits SS2022-63	Yuto Kitabayashi, Takashi Kobayashi (Tokyo Tech)
(18)	11:00-11:25	Investigation of software development history using a configuration management tool for defect prediction SS2022-64	Takayuki Zukawa (Kyoto Inst. Tech.), Masanari Kondo (Kyushu Univ.), Eunjong Choi, Osamu Mizuno (Kyoto Inst. Tech.)
(19)	11:25-11:50	SS2022-65
	11:50-13:20	Lunch Break ( 90 min. )
Wed, Mar 15 PM 13:20 - 14:35
(20)	13:20-13:45	SS2022-66
(21)	13:45-14:10	Improvement of Encoding and Ablation Methods in Fault Localization by Ablation SS2022-67	Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII)
(22)	14:10-14:35	SS2022-68
	14:35-14:50	Break ( 15 min. )
Wed, Mar 15 PM 14:50 - 16:05
(23)	14:50-15:15	A Method for Functionally Similar Code Detection based on Java Bytecode Comparison SS2022-69	Senri Miyata, Masataka Nagura (Nanzan Univ)
(24)	15:15-15:40	Attempt to generate source code using previous token type information SS2022-70	Shun Tanaka, Yamamoto Tetsuo (Ryukoku Univ.)
(25)	15:40-16:05	SS2022-71
	16:05-16:20	Break ( 15 min. )
Wed, Mar 15 PM 16:20 - 17:10
(26)	16:20-16:45	Development and Evaluation of Case Knowledge Base for Software Upcycling SS2022-72	Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.)
(27)	16:45-17:10	Cost-performance evaluation of instances for execution of Scientific Workflows SS2022-73	Mitsuki Ogawa, Taichi Sugimura, Takahiro Koita (Doshisha Univ.)

Announcement for Speakers
General Talk	Each speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
SS	Technical Committee on Software Science (SS) [Latest Schedule]
	Contact Address	Shinpei Ogata (Shinshu University) TEL: +81-26-269-5468 E-: onshu-u
	Announcement	Latest information will be presented on the homepage: https://www.ieice.org/iss/ss/